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

To: Logan Rosen <logan@ubuntu.com>, <714124@bugs.debian.org>
Subject: Bug#714124: frama-c: "nitrogen" Frama-c is two versions older than "fluorine"
From: Mehdi Dogguy <mehdi@dogguy.org>
Date: Wed, 26 Jun 2013 16:10:46 +0200
Message-id: <[🔎] e65635c5ad25ed258d744d30d3c0fe9e@dogguy.org>
Reply-to: Mehdi Dogguy <mehdi@dogguy.org>, 714124@bugs.debian.org
In-reply-to: <[🔎] 20130626005553.11669.21831.reportbug@logan-VirtualBox>
References: <[🔎] 20130626005553.11669.21831.reportbug@logan-VirtualBox>

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

Reply to:

References:
- Bug#714124: frama-c: "nitrogen" Frama-c is two versions older than "fluorine"
  - From: Logan Rosen <logan@ubuntu.com>

Prev by Date: Re: Please review: ocamlmod 0.0.4
Next by Date: Bug report on jocaml-base: jocamlrun crashes with exit status 139
Previous by thread: Re: Bug#714124: frama-c: "nitrogen" Frama-c is two versions older than "fluorine"
Next by thread: Bug report on jocaml-base: jocamlrun crashes with exit status 139
Index(es):
- Date
- Thread