[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20090601.beta1+dfsg-1-16-g9332b71
Mehdi Dogguy
mehdi at debian.org
Wed Sep 9 21:47:51 UTC 2009
The following commit has been merged in the master branch:
commit 9332b7162073b49dc4fee0e442c8dc32d8b5ba36
Author: Mehdi Dogguy <mehdi at debian.org>
Date: Wed Sep 9 23:47:35 2009 +0200
Changelog update
diff --git a/debian/changelog b/debian/changelog
index 52ee028..6dc9e5e 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -21,6 +21,8 @@ frama-c (20090901+beryllium+dfsg-1) unstable; urgency=low
* 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
+ * Recommends alt-ergo
+ * Remove useless runtime dependency libocamlgraph-ocaml-dev
-- Mehdi Dogguy <mehdi at debian.org> Wed, 09 Sep 2009 17:30:41 +0200
--
frama-c packaging
More information about the Pkg-ocaml-maint-commits
mailing list