--- layout: fc_discuss_archives title: Message 72 from Frama-C-discuss on April 2010 ---
> You can download from the URL below a package with > Frama-C 20100401 and a patched Why 2.24 > for the Intel Mac (Leopard and Snow Leopard): > > http://www.mediafire.com/file/qm0tdtkmzyt/frama-c-Boron-20100401_why-2.24p_OSX_intel.tryit.tar.bz2 Unfortunately the file was corrupted during the upload. It will be available from http://frama-c.com soon instead. Pascal