--- layout: fc_discuss_archives title: Message 16 from Frama-C-discuss on August 2013 ---
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>