Package: frama-c Version: 20111001+nitrogen+dfsg-4 Severity: wishlist Tags: upstream User: [email protected] 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 http://launchpad.net/bugs/1180597 The description, from Craig Denman, follows: With each newer version of Ubuntu, the same old "nitrogen" Frama-c keeps getting thrown in. Why not use the newest available version? The authors have indicated that many bugs have been fixed. -- System Information: Debian Release: wheezy/sid APT prefers saucy-updates APT policy: (500, 'saucy-updates'), (500, 'saucy-security'), (500, 'saucy'), (100, 'saucy-backports') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 3.9.0-7-generic (SMP w/1 CPU core) -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/20130626005553.11669.21831.reportbug@logan-VirtualBox
