-
isl (0.20-2) unstable; urgency=medium
* libisl-dev: Conflict with libcloog-isl-dev. Closes: #905792.
-- Matthias Klose <email address hidden> Tue, 14 Aug 2018 12:14:35 +0200
-
isl (0.20-1) unstable; urgency=medium
* New upstream release.
-- Matthias Klose <email address hidden> 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 <email address hidden> Fri, 09 Mar 2018 09:44:38 +0700