Format: 1.8
Date: Thu, 17 Oct 2013 15:30:11 +0200
Source: isl
Binary: libisl-dev libisl-dbg libisl10
Architecture: source
Version: 0.12.1-1
Distribution: saucy
Urgency: low
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Changed-By: Matthias Klose <doko@debian.org>
Description: 
 libisl-dbg - manipulating sets and relations of integer points bounded by line
 libisl-dev - manipulating sets and relations of integer points bounded by line
 libisl10   - manipulating sets and relations of integer points bounded by line
Closes: 682352 714830 721854
Changes: 
 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.
Checksums-Sha1: 
 c0c2ca7f826935a8e7d8d3d0c925b1d2c03254b0 1255 isl_0.12.1-1.dsc
 a54e80a32bc3e06327053d77d6a81516d4f4b21f 1305540 isl_0.12.1.orig.tar.bz2
 299993d75fd7e23212a4848ed76edcd195ff2208 63979 isl_0.12.1-1.debian.tar.gz
Checksums-Sha256: 
 90e3e8f02aab24f338739770d137d9ab30fe11f2bd1cdaf8f3e96377bf5772a8 1255 isl_0.12.1-1.dsc
 43ba8a43c3554a72a7e9e0d913a52dedbc0d712f472f3e62d239517bdd53e7b7 1305540 isl_0.12.1.orig.tar.bz2
 2e324a0897eee7ce0790a11ad9df8711aa5c15a90d1292228021e310f1f3e0ed 63979 isl_0.12.1-1.debian.tar.gz
Files: 
 9f99650342ac60eda605d16037071b0f 1255 libs optional isl_0.12.1-1.dsc
 27d381085ff1b5733c3e8a9b6ad24a4d 1305540 libs optional isl_0.12.1.orig.tar.bz2
 418871be015989dc9f03295d6158dce7 63979 libs optional isl_0.12.1-1.debian.tar.gz