--- layout: fc_discuss_archives title: Message 75 from Frama-C-discuss on September 2013 ---
On Wed, Sep 11, 2013 at 5:19 PM, Pascal Cuoq <pascal.cuoq at gmail.com> wrote: > Note that I am reading the details from: > http://frama-c.com/install-fluorine-20130601.html , an overlooked source > of information about Fluorine's dependencies. > > Mea culpa, the Ubuntu section of that document does not seem to have been updated when the support for OCaml 3.11.2 was dropped. It is not a perfect source of information after all (but the Requirements section seems up-to-date). -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130911/c1973753/attachment-0001.html>