--- layout: fc_discuss_archives title: Message 73 from Frama-C-discuss on September 2013 ---
2013/9/11 David MENTRE <dmentre at linux-france.org>: > From this message from Claude in August > (http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2013-August/003714.html) > you'll probably need: > - Frama-C Fluorine 20130601 > - Why3 0.81 > - Why 2.33 > - Coq 8.4 > - Alt-Ergo 0.95.1 > > And a little tweak in Why 2.33 (see Claude's message). > > Regarding OCaml, I have compiled everything (except Why2/Jessie) with > OCaml 4.00.1 but it should work with the OCaml provided on Ubuntu > 12.04. > In fact messages in this thread should help you: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2013-August/thread.html#3749 ("installation on Ubuntu Stephen Siegel ") Regards, d.