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

Stephane Glondu steph at glondu.net
Mon Apr 11 07:05:37 UTC 2011


The following commit has been merged in the master branch:
commit 2a1124267b3b9a15fe158e1d741e380b4cd9e3ab
Author: Steve Langasek <vorlon at debian.org>
Date:   Sun Apr 10 09:38:37 2011 +0000

    Imported Debian patch 0.9.10-5.2

diff --git a/debian/changelog b/debian/changelog
index ce8e5cf..6bafb45 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+apron (0.9.10-5.2) unstable; urgency=low
+
+  * Follow-on NMU to fix the binary dependency on libppl0.10-dev.
+    Really Closes: #620716.
+
+ -- Steve Langasek <vorlon at debian.org>  Sun, 10 Apr 2011 09:38:37 +0000
+
 apron (0.9.10-5.1) unstable; urgency=low
 
   * Non-maintainer upload.
diff --git a/debian/control b/debian/control
index 6ab2582..b44c6a2 100644
--- a/debian/control
+++ b/debian/control
@@ -39,7 +39,7 @@ Architecture: all
 Depends: ${shlibs:Depends}, ${misc:Depends},
  libgmp3-dev,
  libmpfr-dev,
- libppl0.10-dev
+ libppl-dev
 Description: an abstract interpretation library
  The APRON library is dedicated to the static analysis of the numerical
  variables of a program by Abstract Interpretation. The aim of such an analysis

-- 
apron packaging



More information about the Pkg-ocaml-maint-commits mailing list