--- layout: fc_discuss_archives title: Message 16 from Frama-C-discuss on August 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] frama-C Fluorine + jessie



Goodmorning everyone,

I wanted to try the new Frama-C's release today, but I am afraid that the
Jessie plugin is not supported anymore (at least it is not present in the
list of frama-c available plugins).. Is that right or am I doing something
wrong?

Thanks in advance!
-- 
Maria Christofi
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130821/741a5e57/attachment.html>