[Pkg-ocaml-maint-commits] [SCM] apron packaging branch, master, updated. debian/0.9.10-5-2-g2a11242

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 66502faaaec0542472222161cd0350cbfdd3a60e
Author: Steve Langasek <vorlon at debian.org>
Date:   Sun Apr 10 01:22:13 2011 +0000

    Imported Debian patch 0.9.10-5.1

diff --git a/debian/changelog b/debian/changelog
index 07cc28e..ce8e5cf 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,12 @@
+apron (0.9.10-5.1) unstable; urgency=low
+
+  * Non-maintainer upload.
+  * Build-depend on the libppl-dev virtual package instead of libppl0.10-dev,
+    since this latter package is no longer available in unstable and apron
+    now fails to build.  Closes: #620716.
+
+ -- Steve Langasek <vorlon at debian.org>  Sun, 10 Apr 2011 01:22:13 +0000
+
 apron (0.9.10-5) unstable; urgency=low
 
   * Add mpfr_random.diff and rounding_modes.diff (Closes: #589359)
diff --git a/debian/control b/debian/control
index d8eb2df..6ab2582 100644
--- a/debian/control
+++ b/debian/control
@@ -13,7 +13,7 @@ Build-Depends:
  dh-ocaml (>= 0.9~),
  libgmp3-dev,
  libmpfr-dev,
- libppl0.10-dev,
+ libppl-dev,
  texi2html (>= 1.82)
 Standards-Version: 3.9.0
 Homepage: http://apron.cri.ensmp.fr/library/

-- 
apron packaging