[Bug 913066] Re: Sync frama-c 20111001+nitrogen+dfsg-3 (universe) from Debian testing (main)

[Andreas Moog]

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 <mehdi at debian.org>  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 <mehdi at debian.org>  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 <mehdi at debian.org>  Mon, 02 Jan 2012 17:29:13 +0100

** Changed in: frama-c (Ubuntu)
       Status: New => Fix Released

-- 
You received this bug notification because you are a member of Ubuntu
Sponsors Team, which is subscribed to the bug report.
https://bugs.launchpad.net/bugs/913066

Title:
  Sync frama-c 20111001+nitrogen+dfsg-3 (universe) from Debian testing
  (main)

Status in “frama-c” package in Ubuntu:
  Fix Released

Bug description:
  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 <mehdi at debian.org>  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 <mehdi at debian.org>  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 <mehdi at debian.org>  Mon, 02 Jan 2012 17:29:13 +0100

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/frama-c/+bug/913066/+subscriptions