--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on November 2012 ---
I have placed a Mac OS X binary of Frama-C Oxygen at the following URL: https://www.dropbox.com/s/ax0bw9jz230muap/frama-c-Oxygen-20120901-OSX_intel.tar.bz2 The changes with respect to the Nitrogen Mac OS X package are: - removed again the dependency on X11 since it is no longer provided in Mountain Lion; - use Menlo as default monospace font; - automatic prover Alt-Ergo is not included. This binary has been (very) briefly tested with Lion and Mountain Lion, and the reason for this snapshot to be put online is to get more feedback before it can be made available on the Frama-C website. Thanks.