apron (0.9.10-5.2ubuntu4) raring; urgency=low

  * Rebuild for ppl-1.0.

 -- Matthias Klose <doko@ubuntu.com>  Tue, 29 Jan 2013 18:21:22 +0100

apron (0.9.10-5.2ubuntu3) precise; urgency=low

  * Rebuild for OCaml 3.12.1.

 -- Colin Watson <cjwatson@ubuntu.com>  Sat, 19 Nov 2011 11:55:17 +0000

apron (0.9.10-5.2ubuntu2) oneiric; urgency=low

  * Rebuild to pick up ocaml fixes on armel.

 -- Adam Conrad <adconrad@ubuntu.com>  Wed, 24 Aug 2011 16:26:20 -0600

apron (0.9.10-5.2ubuntu1) oneiric; urgency=low

  * Build-depend on a real alternative for libppl-dev, since Ubuntu's sbuild
    doesn't seem to like the pure virtual build-dependency.

 -- Colin Watson <cjwatson@ubuntu.com>  Wed, 18 May 2011 14:56:58 +0100

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@debian.org>  Sun, 10 Apr 2011 09:38:37 +0000

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@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)
  * debian/control:
    - add myself to Uploaders
    - bump Standards-Version to 3.9.0
  * Install upstream changelog
  * Switch source package format to 3.0 (quilt)

 -- Stéphane Glondu <glondu@debian.org>  Mon, 19 Jul 2010 13:22:45 +0200

apron (0.9.10-4) unstable; urgency=low

  [ Mehdi Dogguy ]
  * Remove non-needed Provides for libapron-dev
  * Version the build dependency on quilt: >= 0.46-7

  [ Samuel Mimram ]
  * Added link patch in order to resolve symbols, closes: #558838.
  * Fix nonopt patch to build gmp.cmxa.
  * Added oct_static patch in order to install oct*.a.

 -- Samuel Mimram <smimram@debian.org>  Sun, 17 Jan 2010 17:57:33 +0100

apron (0.9.10-3) unstable; urgency=low

  * Remove build dependency on ocaml-native-compilers, closes: #556636.

 -- Samuel Mimram <smimram@debian.org>  Tue, 17 Nov 2009 17:53:40 +0100

apron (0.9.10-2) unstable; urgency=low

  * Enable PPL support.
  * Add nonopt patch in order to be able to build on non-native archs.

 -- Samuel Mimram <smimram@debian.org>  Thu, 29 Oct 2009 21:58:00 +0100

apron (0.9.10-1) unstable; urgency=low

  * Initial release, closes: #552326.

 -- Samuel Mimram <smimram@debian.org>  Wed, 21 Oct 2009 19:06:36 +0200
