[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