The following commit has been merged in the master branch: commit 66502faaaec0542472222161cd0350cbfdd3a60e Author: Steve Langasek <vor...@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 <vor...@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 _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits