Change log for apron package in Ubuntu

apron (0.9.10-9.1build3) hirsute; urgency=medium

  * No-change rebuild for ocaml abi changes.

 -- Matthias Klose <email address hidden>  Mon, 02 Nov 2020 14:08:19 +0100

Available diffs

• diff from 0.9.10-9.1build2 to 0.9.10-9.1build3 (327 bytes)

apron (0.9.10-9.1build2) groovy; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Mon, 10 Aug 2020 12:33:41 +0200

Available diffs

• diff from 0.9.10-9.1build1 to 0.9.10-9.1build2 (325 bytes)

apron (0.9.10-9.1build1) focal; urgency=medium

  * No change rebuild against new ocaml ABI

 -- Dimitri John Ledkov <email address hidden>  Fri, 21 Feb 2020 01:31:05 +0000

Available diffs

• diff from 0.9.10-9.1 (in Debian) to 0.9.10-9.1build1 (506 bytes)

apron (0.9.10-9.1) unstable; urgency=high

  * Team upload
  * Force rebuild of all packages on buildds
  * Update Vcs-*

 -- Stéphane Glondu <email address hidden>  Tue, 06 Aug 2019 09:48:34 +0200

Available diffs

• diff from 0.9.10-9build4 (in Ubuntu) to 0.9.10-9.1 (1.9 KiB)

apron (0.9.10-9build4) bionic; urgency=medium

  * No-change rebuild for mpfr soname change.

 -- Matthias Klose <email address hidden>  Wed, 24 Jan 2018 21:19:24 +0000

Available diffs

• diff from 0.9.10-9build3 to 0.9.10-9build4 (315 bytes)

apron (0.9.10-9build3) bionic; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Fri, 27 Oct 2017 21:54:32 +0200

Available diffs

• diff from 0.9.10-9build2 to 0.9.10-9build3 (329 bytes)

apron (0.9.10-9build2) artful; urgency=high

  * No change rebuild against ocaml 4.04.

 -- Dimitri John Ledkov <email address hidden>  Tue, 27 Jun 2017 13:37:33 +0100

Available diffs

• diff from 0.9.10-9build1 to 0.9.10-9build2 (522 bytes)

apron (0.9.10-9build1) zesty; urgency=medium

  * No-change rebuild against latest ppl

 -- Jeremy Bicha <email address hidden>  Fri, 16 Dec 2016 20:54:41 -0500

Available diffs

• diff from 0.9.10-9 (in Debian) to 0.9.10-9build1 (302 bytes)

apron (0.9.10-9) unstable; urgency=medium

  * Team upload.
  * Make libapron-dev depend on libapron (Closes: #715070)
  * Bump Standards-Version to 3.9.8
  * debian/control: Use canonical, HTTPS URLs
  * debian/copyright: Update
    - Switch to fomat 1.0
    - Fix syntax errors
    - Fix license information on some files
  * debian/rules: Fail on non-installed files
  * Use build-time hardening
  * Install all shlib symlinks in libapron-dev
    This required a package transition
  * Fix typos in documentation & binaries
    Add patch 0010-Fix-typos.patch
  * Add doc-base files

 -- Nicolas Braud-Santoni <email address hidden>  Wed, 03 Aug 2016 16:47:13 +0200

Available diffs

• diff from 0.9.10-8 to 0.9.10-9 (7.1 KiB)

apron (0.9.10-8) unstable; urgency=medium

  * Team upload
  * Fix package-build with -A, by letting dh install the lintian override
    (Closes: #805993). Thanks to Santiago Vila for the patch

 -- Ralf Treinen <email address hidden>  Thu, 14 Jul 2016 20:13:56 +0200

Available diffs

• diff from 0.9.10-7 to 0.9.10-8 (633 bytes)

apron (0.9.10-7) unstable; urgency=medium

  * Team upload.
  * Fix build with GCC 5 by not defining strdup (Closes: #808628).
    - Add patch 0009-Don-t-define-strdup.patch

 -- Mehdi Dogguy <email address hidden>  Sun, 17 Jan 2016 23:25:59 +0100

Available diffs

• diff from 0.9.10-6ubuntu2 (in Ubuntu) to 0.9.10-7 (1.2 KiB)

apron (0.9.10-6ubuntu2) xenial; urgency=medium

  * No-change rebuild for ppl GCC 5 transition.

 -- Matthias Klose <email address hidden>  Mon, 07 Dec 2015 23:55:01 +0100

Available diffs

• diff from 0.9.10-6ubuntu1 to 0.9.10-6ubuntu2 (334 bytes)

apron (0.9.10-6ubuntu1) xenial; urgency=medium

  * debian/patches/0009-Fix-build-failure-on-unix.patch:
    - Fix the recent build failure caused by re-defining strdup on unix systems

 -- Łukasz 'sil2100' Zemczak <email address hidden>  Tue, 03 Nov 2015 15:53:01 -0600

Available diffs

• diff from 0.9.10-6 (in Debian) to 0.9.10-6ubuntu1 (809 bytes)
• diff from 0.9.10-6build1 to 0.9.10-6ubuntu1 (845 bytes)

apron (0.9.10-6build1) xenial; urgency=medium

  * No-change rebuild against ocaml 4.02.

 -- Łukasz 'sil2100' Zemczak <email address hidden>  Mon, 02 Nov 2015 16:43:51 -0600

Available diffs

• diff from 0.9.10-6 (in Debian) to 0.9.10-6build1 (335 bytes)

apron (0.9.10-6) unstable; urgency=low


  [ Stéphane Glondu ]
  * Team upload
  * Acknowledge non-maintainer uploads
  * debian/control:
    - bump debhelper compat level to 9
    - update Vcs-*
    - remove leading articles from short descriptions
    - remove Samuel and myself from Uploaders

  [ Matthias Klose ]
  * Fix build failure with ppl-1.0 (Closes: #707347)

 -- Stéphane Glondu <email address hidden>  Wed, 25 Dec 2013 13:00:39 +0100

Available diffs

• diff from 0.9.10-5.2ubuntu6 (in Ubuntu) to 0.9.10-6 (11.5 KiB)

apron (0.9.10-5.2ubuntu6) trusty; urgency=medium

  * Fix build failure with ppl-1.0.
 -- Matthias Klose <email address hidden>   Mon, 23 Dec 2013 23:57:26 +0100

Available diffs

• diff from 0.9.10-5.2ubuntu4 to 0.9.10-5.2ubuntu6 (615 bytes)
• diff from 0.9.10-5.2ubuntu5 to 0.9.10-5.2ubuntu6 (582 bytes)

apron (0.9.10-5.2ubuntu5) trusty; urgency=medium

  * Rebuild for ocaml-4.01.
 -- Matthias Klose <email address hidden>   Mon, 23 Dec 2013 16:15:41 +0000

Available diffs

• diff from 0.9.10-5.2ubuntu4 to 0.9.10-5.2ubuntu5 (321 bytes)

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

  * Rebuild for ppl-1.0.
 -- Matthias Klose <email address hidden>   Tue, 29 Jan 2013 18:21:22 +0100

Available diffs

• diff from 0.9.10-5.2ubuntu3 to 0.9.10-5.2ubuntu4 (488 bytes)

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

  * Rebuild for OCaml 3.12.1.
 -- Colin Watson <email address hidden>   Sat, 19 Nov 2011 11:55:17 +0000

Available diffs

• diff from 0.9.10-5.2ubuntu2 to 0.9.10-5.2ubuntu3 (334 bytes)

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

  * Rebuild to pick up ocaml fixes on armel.
 -- Adam Conrad <email address hidden>   Wed, 24 Aug 2011 16:26:20 -0600

Available diffs

• diff from 0.9.10-5.2ubuntu1 to 0.9.10-5.2ubuntu2 (362 bytes)

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 <email address hidden>   Wed, 18 May 2011 14:56:58 +0100

Available diffs

• diff from 0.9.10-5.2 to 0.9.10-5.2ubuntu1 (728 bytes)

apron (0.9.10-5.2) unstable; urgency=low

  * Follow-on NMU to fix the binary dependency on libppl0.10-dev.
    Really Closes: #620716.

Available diffs

• diff from 0.9.10-5 to 0.9.10-5.2 (780 bytes)

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)
 -- Iain Lane <email address hidden>   Mon, 19 Jul 2010 13:22:45 +0200

Available diffs

• diff from 0.9.10-4build1 to 0.9.10-5 (2.9 KiB)

apron (0.9.10-4build1) lucid; urgency=low

  * No-change rebuild for OCaml 3.11.2 transition (LP: #526073).
 -- Ilya Barygin <email address hidden>   Wed, 24 Feb 2010 21:03:35 +0300

Available diffs

• diff from 0.9.10-4 to 0.9.10-4build1 (303 bytes)

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.
 -- Ubuntu Archive Auto-Sync <email address hidden>   Mon,  01 Feb 2010 23:57:04 +0000

Available diffs

• diff from 0.9.10-3 to 0.9.10-4 (1.8 KiB)

apron (0.9.10-3) unstable; urgency=low

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