--- layout: fc_discuss_archives title: Message 20 from Frama-C-discuss on August 2014 ---
Hello Claude, Le 24/08/2014 20:42, Claude Marche a ?crit : > The OPAM package for Why 2.34 is now available, sorry for the late reaction. > > opam install why > > should install all dependencies, including why3 and frama-c I confirm OPAM installation of Why works like a charm. I could launch Jessie on a small program with Why3. Thanks! david