Format: 3.0 (quilt)
Source: isl
Binary: libisl-dev, libisl23
Architecture: any
Version: 0.23-1
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Uploaders: Matthias Klose <doko@debian.org>
Homepage: http://isl.gforge.inria.fr/
Standards-Version: 4.5.0
Build-Depends: debhelper (>= 11), libgmp-dev, python3:any
Package-List:
 libisl-dev deb libdevel optional arch=any
 libisl23 deb libs optional arch=any
Checksums-Sha1:
 b5f8eeb0780495e97d8e398a068253ee13ed13cb 1729656 isl_0.23.orig.tar.xz
 738beb9041efadb44981c0c0db83e3bbc68c244a 26044 isl_0.23-1.debian.tar.xz
Checksums-Sha256:
 5efc53efaef151301f4e7dde3856b66812d8153dede24fab17673f801c8698f2 1729656 isl_0.23.orig.tar.xz
 97e9b10aca4b384241335c09b6928cf99f369fb64dfaa46b2a543e72a9d7dbe4 26044 isl_0.23-1.debian.tar.xz
Files:
 cc8155dfe8550e59299a2368dbaa7d04 1729656 isl_0.23.orig.tar.xz
 8b8bc1aa75145d9b95eff0e3eff477ea 26044 isl_0.23-1.debian.tar.xz