[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20090601.beta1+dfsg-1-12-g55c95e6
Mehdi Dogguy
mehdi at debian.org
Wed Sep 9 15:40:21 UTC 2009
The following commit has been merged in the master branch:
commit 55c95e6253236e74eb88fde5dd0d53e79aa8a22a
Author: Mehdi Dogguy <mehdi at debian.org>
Date: Wed Sep 9 17:29:07 2009 +0200
Changelog update
diff --git a/debian/changelog b/debian/changelog
index 99a9a4b..52ee028 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -10,12 +10,19 @@ frama-c (20090901+beryllium+dfsg-1) unstable; urgency=low
0002-Do-not-add-GRAPH_GUICMO-to-BYTE_GUI_LIBS.patch
+ Removing 0006-Do-not-install-non-existant-files.patch (now integrated
upstream)
- * Add a patch:
+ * Add some patches:
+ Fix weak pattern-matching in dynlink_lower_311_byte.ml, fixes FTBFS
on non-native architectures (Closes: #544833).
0003-Fix-weak-pattern-matching-in-dynlink_lower_311_byte..patch
+ + Make the Jessie plugin compile with Jc 2.19:
+ 0002-Make-Jessie-plugin-use-Jc-from-Why-2.19.patch
+ + Fix linking problem for the viewer (add dGraphView.cmo):
+ 0003-Add-dGraphView.cmo-when-linking.patch
+ * Bump libocamlgraph-ocaml-dev version from 1.1 to 1.2 in the build
+ dependencies.
+ * Don't strip bytecode binaries since they are compiled with -custom
- -- Mehdi Dogguy <mehdi at debian.org> Fri, 04 Sep 2009 14:59:15 +0200
+ -- Mehdi Dogguy <mehdi at debian.org> Wed, 09 Sep 2009 17:30:41 +0200
frama-c (20090601~beta1+dfsg-1) unstable; urgency=low
--
frama-c packaging
More information about the Pkg-ocaml-maint-commits
mailing list