[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