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

[Logan Rosen <logan@ubuntu.com>]

Package: frama-c
Version: 20111001+nitrogen+dfsg-4
Severity: wishlist
Tags: upstream
User: ubuntu-devel@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
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)