--- layout: fc_discuss_archives title: Message 76 from Frama-C-discuss on April 2010 ---
On Tue, 27 Apr 2010, Pascal Cuoq wrote: > On Tue, Apr 27, 2010 at 1:54 AM, Naghmeh Ghafari > <naghmeh.ghafari at cslabs.com> wrote: > > > I am wondering if there is a binary of Frama-C for linux distributions that > > include 'Why' and 'Jessie', or the only way is compiling from the source(?). > > Hello, > > if you type: > > apt-get install frama-c why alt-ergo > > in a recent Linux distribution, the statistical likelihood is that it > will install a binary version of what was the most recent Frama-C > version at the time your distribution was frozen. > > You can also try: > > emerge frama-c > pacman-g2 -U frama-c > pkg_add frama-c > current ubuntu provides frama-c, why, coq and alt-ergo as packages, Debian Lenny provides why and coq frama-c-base/frama-c (20090902), alt-ergo, cvc3 in squeeze only hofrat