Public bug reported:
Please sync frama-c 20111001+nitrogen+dfsg-3 (universe) from Debian testing
(main)
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+carbon+dfsg-
2build3:
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 protected]> 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 protected]> 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 protected]> Mon, 02 Jan 2012 17:29:13 +0100
** Affects: frama-c (Ubuntu)
Importance: Undecided
Status: New
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/913066
Title:
Sync frama-c 20111001+nitrogen+dfsg-3 (universe) from Debian testing
(main)
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/frama-c/+bug/913066/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
