Sync frama-c 20111001+nitrogen+dfsg-3 (universe) from Debian testing (main)
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
frama-c (Ubuntu) |
Fix Released
|
Undecided
|
Unassigned |
Bug Description
Please sync frama-c 20111001+
Please note that this requires also syncing Why (for which I'm going to request
a sync too).
Changelog entries since current precise version 20110201+
frama-c (20111001+
* Include patchlevel2 for Nitrogen 20111001.
- add debian/
-- Mehdi Dogguy <email address hidden> Fri, 06 Jan 2012 09:30:44 +0100
frama-c (20111001+
* add 0005-Disable-
-- Mehdi Dogguy <email address hidden> Tue, 03 Jan 2012 15:24:55 +0100
frama-c (20111001+
* New upstream release (Closes: #652257).
* Update patches:
- remove 0001-Value-
- remove 0002-Fix-
- rebase 0003-Add-
- update 0004-Accept-
- add 0003-Fix-
- add 0004-Use-
* Bump minimum requirement for ocamlgraph to 1.8.
* Bump Standards-Version to 3.9.2, no changes needed.
-- Mehdi Dogguy <email address hidden> Mon, 02 Jan 2012 17:29:13 +0100
Requested in bug 913068.