[Pkg-ocaml-maint-commits] [SCM] apron packaging branch, master, updated. debian/0.9.10-2-1-gb8c4997
Samuel Mimram
samuel.mimram at ens-lyon.org
Tue Nov 17 16:55:30 UTC 2009
The following commit has been merged in the master branch:
commit b8c4997ddba82e84e483250e7a839881d389e544
Author: Samuel Mimram <samuel.mimram at ens-lyon.org>
Date: Tue Nov 17 17:55:17 2009 +0100
Remove build dependency on ocaml-native-compilers.
diff --git a/debian/changelog b/debian/changelog
index 74abd47..3584084 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+apron (0.9.10-3) unstable; urgency=low
+
+ * Remove build dependency on ocaml-native-compilers, closes: #556636.
+
+ -- Samuel Mimram <smimram at debian.org> Tue, 17 Nov 2009 17:53:40 +0100
+
apron (0.9.10-2) unstable; urgency=low
* Enable PPL support.
diff --git a/debian/control b/debian/control
index b1dca2e..44198ec 100644
--- a/debian/control
+++ b/debian/control
@@ -6,7 +6,7 @@ Uploaders: Samuel Mimram <smimram at debian.org>
Build-Depends:
debhelper (>= 7.0.50~),
ocaml (>= 3.11.1),
- ocaml-native-compilers | ocaml-best-compilers,
+ ocaml-best-compilers,
camlidl,
dh-ocaml (>= 0.9),
libgmp3-dev,
--
apron packaging
More information about the Pkg-ocaml-maint-commits
mailing list