--- layout: fc_discuss_archives title: Message 72 from Frama-C-discuss on April 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C Boron and Why 2.24 package for Mac OS X



> 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