--- layout: fc_discuss_archives title: Message 18 from Frama-C-discuss on April 2010 ---
> liblablgtksourceview2-ocaml-dev will only be available on the > incoming Lucid Lynx 10.04 but is not available on Ubuntu 9.10. > However, for Beryllium 2, liblablgtksourceview-ocaml-dev should le > enough though. Regarding Ubuntu 10.04 (beta) I would like to add that it comes along with packages for frama-c/beryllium2 and why-2.23. There are also packages for Alt-ergo and CVC3. I tried these package on some algorithms from our tutorial (http://www.first.fraunhofer.de/owx_download/acsl-by-example-4_2_1.pdf ) and it seems to work quite well. Regards Jens -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100419/7fe026b5/attachment.htm>