[ubuntu/precise] frama-c 20111001+nitrogen+dfsg-3 (Accepted)

Mehdi mehdi+lp at dogguy.org
Sat Jan 7 11:57:13 UTC 2012


frama-c (20111001+nitrogen+dfsg-3) unstable; urgency=low

  * Include patchlevel2 for Nitrogen 20111001.
    - add debian/patches/0006-Patchlevel2-for-Nitrogen-20111001.patch

frama-c (20111001+nitrogen+dfsg-2) unstable; urgency=low

  * add 0005-Disable-CHMOD_RO-invocations.patch.

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.

Date: 2012-01-06 21:22:08.124821+00:00
Signed-By: Andreas Moog <andreas-launchpad at warperbbs.de>
https://launchpad.net/ubuntu/precise/+source/frama-c/20111001+nitrogen+dfsg-3
-------------- next part --------------
Sorry, changesfile not available.


More information about the Precise-changes mailing list