isl (0.27-1) unstable; urgency=medium
* New upstream version.
* Bump standards version.
* Update home page.
* Update symbols file.
-- Matthias Klose <doko@debian.org> Mon, 09 Sep 2024 14:42:47 +0200
isl (0.26-3) unstable; urgency=medium
* Configure --without-gcc-arch.
-- Matthias Klose <doko@debian.org> Mon, 19 Jun 2023 18:43:04 +0200
isl (0.26-2) unstable; urgency=medium
* Upload to unstable.
-- Matthias Klose <doko@debian.org> Sun, 11 Jun 2023 13:25:24 +0200
isl (0.26-1) experimental; urgency=medium
* New upstream version.
-- Matthias Klose <doko@debian.org> Tue, 11 Apr 2023 14:22:44 +0200
isl (0.25-1) unstable; urgency=medium
* New upstream version.
* Update symbols file.
-- Matthias Klose <doko@debian.org> Sun, 17 Jul 2022 13:37:40 +0200
isl (0.24-2) unstable; urgency=medium
* Update watch file.
* Bump standards version.
-- Matthias Klose <doko@debian.org> Mon, 11 Oct 2021 16:12:23 +0200
isl (0.24-1) experimental; urgency=medium
* New upstream version.
* Update symbols file.
-- Matthias Klose <doko@debian.org> Thu, 06 May 2021 08:14:28 +0200
isl (0.23-1) unstable; urgency=medium
* New upstream version.
* Update symbols file.
* Bump debhelper version.
-- Matthias Klose <doko@debian.org> Tue, 24 Nov 2020 12:49:07 +0100
isl (0.22.1-1) unstable; urgency=medium
* New upstream version.
* Bump standards version.
-- Matthias Klose <doko@debian.org> Tue, 18 Feb 2020 16:38:24 +0100
isl (0.22-2) unstable; urgency=medium
* Upload to unstable.
-- Matthias Klose <doko@debian.org> Fri, 29 Nov 2019 16:14:06 +0100
isl (0.22-1) experimental; urgency=medium
* New upstream version.
* Update symbols file.
* Bump standards version.
-- Matthias Klose <doko@debian.org> Sat, 23 Nov 2019 06:22:45 +0100
isl (0.21-2) unstable; urgency=medium
* Bump standards version.
-- Matthias Klose <doko@debian.org> Mon, 09 Sep 2019 07:47:47 +0200
isl (0.21-1) experimental; urgency=medium
* New upstream release.
* Bump standards version.
* Update symbols file.
* Fix FTCBFS: Annotate Build-Depends: python3 with :any (Helmut Grohne)
Closes: #909112.
* debian/copyright:
- Remove copyrights for removed files.
- Update copyright years.
- Update source attribute.
- Keep MIT as the name according to https://opensource.org/licenses/MIT.
-- Matthias Klose <doko@debian.org> Wed, 26 Jun 2019 14:28:06 +0200
isl (0.20-2) unstable; urgency=medium
* libisl-dev: Conflict with libcloog-isl-dev. Closes: #905792.
-- Matthias Klose <doko@debian.org> Tue, 14 Aug 2018 12:14:35 +0200
isl (0.20-1) unstable; urgency=medium
* New upstream release.
-- Matthias Klose <doko@debian.org> Fri, 03 Aug 2018 07:17:23 +0200
isl (0.19-1) unstable; urgency=medium
* New upstream release.
* Update debian/copyright. Closes: #892375.
* Stop building the debug package, move the pretty printers to the library
package.
* Bump the libisl soname.
-- Matthias Klose <doko@debian.org> Fri, 09 Mar 2018 09:44:38 +0700
isl (0.18-1) unstable; urgency=medium
* New upstream release.
-- Matthias Klose <doko@debian.org> Thu, 05 Jan 2017 18:50:41 +0100
isl (0.17.1-1) unstable; urgency=medium
* New upstream release.
-- Matthias Klose <doko@debian.org> Wed, 01 Jun 2016 23:00:24 +0200
isl (0.17-1) unstable; urgency=medium
* New upstream release.
* Update symbols file.
-- Matthias Klose <doko@debian.org> Sun, 29 May 2016 19:50:09 +0200
isl (0.16.1-1) unstable; urgency=medium
* New upstream release.
-- Matthias Klose <doko@debian.org> Mon, 25 Jan 2016 19:20:25 +0100
isl (0.15-3~14.04) trusty; urgency=medium
* PPA upload.
-- Matthias Klose <doko@ubuntu.com> Mon, 30 Nov 2015 11:34:44 +0100
isl (0.15-3) unstable; urgency=medium
* Upload to unstable.
-- Matthias Klose <doko@debian.org> Tue, 17 Nov 2015 00:20:09 +0100
isl (0.15-2) experimental; urgency=medium
* libisl-dbg: Fix dependency on libisl.
-- Matthias Klose <doko@debian.org> Mon, 27 Jul 2015 19:25:08 +0200
isl (0.15-1) experimental; urgency=medium
* New upstream release.
-- Matthias Klose <doko@debian.org> Sat, 25 Jul 2015 18:18:18 +0200
isl (0.14-2) unstable; urgency=medium
* Upload to unstable.
-- Matthias Klose <doko@debian.org> Fri, 24 Apr 2015 14:36:08 +0200
isl (0.14-1) experimental; urgency=medium
* New upstream release.
-- Matthias Klose <doko@debian.org> Tue, 11 Nov 2014 12:24:42 +0100
isl (0.13-1) experimental; urgency=medium
* New upstream release.
-- Matthias Klose <doko@debian.org> Wed, 25 Jun 2014 16:24:52 +0200
isl (0.12.2-2) unstable; urgency=medium
* Make the python pretty printer file compatible with python3.
* Let the python pretty printer load the library by the soname.
-- Matthias Klose <doko@debian.org> Wed, 25 Jun 2014 15:35:38 +0200
isl (0.12.2-1) unstable; urgency=medium
* New upstream release.
* Fix header file. Closes: #730352.
* Build using dh-autoreconf.
* Update symbols file.
-- Matthias Klose <doko@debian.org> Thu, 13 Feb 2014 14:51:31 +0100
isl (0.12.1-2) unstable; urgency=low
* Drop build dependency on libcloog-isl-dev.
-- Matthias Klose <doko@debian.org> Tue, 26 Nov 2013 12:44:41 +0100
isl (0.12.1-1) unstable; urgency=low
* New upstream release. Closes: #714830.
* libisl10: Breaks libcloog-isl4 (<< 0.18.1).
* Update symbols file.
* Build-depend on libcloog-isl-dev (>= 0.18.1) to make sure that the
cloog version compatible with isl-0.12 already is in the archive.
* Use dh_autotools-dev, not autoreconf to update config.{sub,guess}.
Closes: #721854.
* Update project home page. Closes: #682352.
-- Matthias Klose <doko@debian.org> Thu, 17 Oct 2013 15:30:11 +0200
isl (0.12-1) experimental; urgency=low
* New upstream release.
-- Matthias Klose <doko@debian.org> Tue, 16 Jul 2013 01:06:25 +0200
isl (0.11.2-1) unstable; urgency=low
* New upstream release.
* Update symbols file.
-- Matthias Klose <doko@debian.org> Thu, 09 May 2013 14:38:13 +0200
isl (0.11.1-2) unstable; urgency=low
* Build using dh-autoreconf.
-- Matthias Klose <doko@debian.org> Wed, 27 Feb 2013 17:28:44 +0100
isl (0.11.1-1) unstable; urgency=low
* New upstream release.
* Update debian/copyright.
-- Matthias Klose <doko@debian.org> Sun, 13 Jan 2013 03:24:36 +0100
isl (0.10-3) unstable; urgency=low
* Configure with --disable-silent-rules.
-- Matthias Klose <doko@debian.org> Sun, 08 Jul 2012 20:42:27 +0200
isl (0.10-2) unstable; urgency=low
* Complete copyright information. Closes: #679464.
* Note about stdint.h generator differs among architectures
and breaks multiarch (Gregor Jasny). Closes: #658841.
-- Matthias Klose <doko@debian.org> Sun, 01 Jul 2012 12:45:46 +0200
isl (0.10-1) unstable; urgency=low
* New upstream release.
-- Matthias Klose <doko@debian.org> Mon, 25 Jun 2012 15:19:06 +0200
isl (0.08-1) unstable; urgency=low
* New upstream version.
* Install into multiarch locations.
* Build a -dbg package.
-- Matthias Klose <doko@debian.org> Thu, 15 Dec 2011 17:36:22 +0100
isl (0.07-1) experimental; urgency=low
* Initial release.
-- Matthias Klose <doko@debian.org> Thu, 11 Aug 2011 12:07:39 +0200