This bug was fixed in the package frama-c - 20111001+nitrogen+dfsg-3 Sponsored for Mehdi (mehdid)
--------------- frama-c (20111001+nitrogen+dfsg-3) unstable; urgency=low
* Include patchlevel2 for Nitrogen 20111001. - add debian/patches/0006-Patchlevel2-for-Nitrogen-20111001.patch
-- Mehdi Dogguy <email address hidden> Fri, 06 Jan 2012 09:30:44 +0100
frama-c (20111001+nitrogen+dfsg-2) unstable; urgency=low
* add 0005-Disable-CHMOD_RO-invocations.patch.
-- Mehdi Dogguy <email address hidden> Tue, 03 Jan 2012 15:24:55 +0100
frama-c (20111001+nitrogen+dfsg-1) unstable; urgency=low
* New upstream release (Closes: #652257). * Update patches: - remove 0001-Value-Analysis-Carbon-patchlevel-1.patch - remove 0002-Fix-for-issue-727.patch - rebase 0003-Add-ocamlgraph-to-DYN_-O-B-LINKFLAGS.patch - update 0004-Accept-ocamlgraph-1.8.patch - add 0003-Fix-spelling-error-in-binary.patch - add 0004-Use-bin-cp-instead-of-usr-bin-install.patch * 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
This bug was fixed in the package frama-c - 20111001+ nitrogen+ dfsg-3
Sponsored for Mehdi (mehdid)
--------------- nitrogen+ dfsg-3) unstable; urgency=low
frama-c (20111001+
* Include patchlevel2 for Nitrogen 20111001. patches/ 0006-Patchlevel 2-for-Nitrogen- 20111001. patch
- add debian/
-- Mehdi Dogguy <email address hidden> Fri, 06 Jan 2012 09:30:44 +0100
frama-c (20111001+ nitrogen+ dfsg-2) unstable; urgency=low
* add 0005-Disable- CHMOD_RO- invocations. patch.
-- Mehdi Dogguy <email address hidden> Tue, 03 Jan 2012 15:24:55 +0100
frama-c (20111001+ nitrogen+ dfsg-1) unstable; urgency=low
* New upstream release (Closes: #652257). Analysis- Carbon- patchlevel- 1.patch for-issue- 727.patch ocamlgraph- to-DYN_ -O-B-LINKFLAGS. patch ocamlgraph- 1.8.patch spelling- error-in- binary. patch bin-cp- instead- of-usr- bin-install. patch
* 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