[ubuntu/bionic-proposed] isl-0.18 0.18-1ubuntu1 (Accepted)

[Matthias Klose]

isl-0.18 (0.18-1ubuntu1) bionic; urgency=medium

  * Rename to isl-0.18.
  * Stop building the debug package, move the pretty printers to the library
    package.

Date: Fri, 09 Mar 2018 07:39:44 +0700
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian GCC Maintainers <debian-gcc at lists.debian.org>
https://launchpad.net/ubuntu/+source/isl-0.18/0.18-1ubuntu1
-------------- next part --------------
Format: 1.8
Date: Fri, 09 Mar 2018 07:39:44 +0700
Source: isl-0.18
Binary: libisl-0.18-dev libisl15
Architecture: source
Version: 0.18-1ubuntu1
Distribution: bionic
Urgency: medium
Maintainer: Debian GCC Maintainers <debian-gcc at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Description:
 libisl-0.18-dev - manipulating sets and relations of integer points bounded by line
 libisl15   - manipulating sets and relations of integer points bounded by line
Changes:
 isl-0.18 (0.18-1ubuntu1) bionic; urgency=medium
 .
   * Rename to isl-0.18.
   * Stop building the debug package, move the pretty printers to the library
     package.
Checksums-Sha1:
 461be25bc5123a0be655da0947ee86622e686a10 1906 isl-0.18_0.18-1ubuntu1.dsc
 13237a66fc623517fc570408b90a11e60eb6b4b9 1475708 isl-0.18_0.18.orig.tar.xz
 5eed134e4e140d32ba489953fb3ce1eb0a677fce 21848 isl-0.18_0.18-1ubuntu1.debian.tar.xz
 de9ac6ac8e0bc56f796ebf491675cc61ba3ebda3 5897 isl-0.18_0.18-1ubuntu1_source.buildinfo
Checksums-Sha256:
 18788651e58c6e9de072904c1cc17b985acd4096cfe484079bc9511f774ee5b5 1906 isl-0.18_0.18-1ubuntu1.dsc
 0f35051cc030b87c673ac1f187de40e386a1482a0cfdf2c552dd6031b307ddc4 1475708 isl-0.18_0.18.orig.tar.xz
 c4e25cd37e4aa31a5a3546de9cdcf9d5843a1d26657165927f3d55a946f08cf8 21848 isl-0.18_0.18-1ubuntu1.debian.tar.xz
 cf95b001bee6a0f338da117b3b21da8b72b5cef716aab0346b8966b492a707c1 5897 isl-0.18_0.18-1ubuntu1_source.buildinfo
Files:
 defecfd0bac560ce619382eab9830423 1906 libs optional isl-0.18_0.18-1ubuntu1.dsc
 5337cd4c29101fe8e8e1b0f5948f91e2 1475708 libs optional isl-0.18_0.18.orig.tar.xz
 971d434aa3e6702a9422902c394fedcb 21848 libs optional isl-0.18_0.18-1ubuntu1.debian.tar.xz
 8ac75baac6d69f760d4e7dd4c16e6f42 5897 libs optional isl-0.18_0.18-1ubuntu1_source.buildinfo