--- layout: fc_discuss_archives title: Message 32 from Frama-C-discuss on July 2018 ---
Hello, it is a pleasure for me to announce the availability of Frama-Clang 0.0.6, compatible with Frama-C 17 Chlorine-20180502. **Important note:** Frama-Clang is **not** compatible with Chlorine-20180501. If you intend to experiment with the plugin, you should make sure that you have Chlorine-20180502 (if you're using opam, this should only be a matter of opam update; opam upgrade). If you do not intend to use Frama-Clang, there is no need to update though. Frama-Clang is available at https://frama-c.com/frama-clang.html Best regards, -- E tutto per oggi, a la prossima volta Virgile -------------- section suivante -------------- Une pièce jointe HTML a été nettoyée... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20180723/8aaa0814/attachment.html>