[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20110201+carbon+dfsg-2-7-g76dd722

Mehdi Dogguy mehdi at dogguy.org
Thu Dec 8 16:51:23 UTC 2011


The following commit has been merged in the master branch:
commit b4a3915a9567d96ccf26a68c1feebe4bb402b9c3
Author: Mehdi Dogguy <mehdi at dogguy.org>
Date:   Thu Dec 8 15:40:44 2011 +0100

    Changelog update

diff --git a/debian/changelog b/debian/changelog
index 0c98155..efee1c5 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,12 +1,13 @@
 frama-c (20111001+nitrogen+dfsg-1) UNRELEASED; urgency=low
 
-  [ Stéphane Glondu ]
-  * Accept ocamlgraph 1.8*
-
-  [ Mehdi Dogguy ]
   * New upstream release.
+  * 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
 
- -- Mehdi Dogguy <mehdi at debian.org>  Thu, 08 Dec 2011 15:33:02 +0100
+ -- Mehdi Dogguy <mehdi at debian.org>  Thu, 08 Dec 2011 15:35:12 +0100
 
 frama-c (20110201+carbon+dfsg-2) unstable; urgency=low
 

-- 
frama-c packaging



More information about the Pkg-ocaml-maint-commits mailing list