Bug#714124: frama-c: "nitrogen" Frama-c is two versions older than "fluorine"

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 ca

Bug#714124: frama-c: "nitrogen" Frama-c is two versions older than "fluorine"

Package: frama-c Version: 20111001+nitrogen+dfsg-4 Severity: wishlist Tags: upstream User: ubuntu-de...@lists.ubuntu.com Usertags: origin-ubuntu saucy Dear Maintainer, Please upgrade frama-c's packaging to the latest upstream version. This bug report was also filed in Ubuntu and can be found at