Hello, Le 2013-06-26 02:55, Logan Rosen a écrit :
Please upgrade frama-c's packaging to the latest upstream version.
Yup. I'd like to have OCamlgraph 1.8.4 in first, but work on packaging the newest version of Frama-C has already started. It will be uploaded in a not too distant future. I can't say exactly when though.
This bug report was also filed in Ubuntu and can be found at http://launchpad.net/bugs/1180597
Replied there. Regards, -- Mehdi -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
