2011
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
2010
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
2009
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