Format: 3.0 (quilt)
Source: isl
Binary: libisl-dev, libisl-dbg, libisl10
Architecture: any
Version: 0.12.2-1~rpi1
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Uploaders: Matthias Klose <doko@debian.org>
Homepage: http://freecode.com/projects/isl
Standards-Version: 3.9.5
Build-Depends: debhelper (>= 7.0.50~), dh-autoreconf, automake1.11, libgmp-dev
Package-List: 
 libisl-dbg deb debug extra arch=any
 libisl-dev deb libdevel optional arch=any
 libisl10 deb libs optional arch=any
Checksums-Sha1: 
 ca98a91e35fb3ded10d080342065919764d6f928 1319434 isl_0.12.2.orig.tar.bz2
 74402621c821a174e1577c32abd12282bfce9817 15880 isl_0.12.2-1~rpi1.debian.tar.xz
Checksums-Sha256: 
 f4b3dbee9712850006e44f0db2103441ab3d13b406f77996d1df19ee89d11fb4 1319434 isl_0.12.2.orig.tar.bz2
 ab9db62bddf9ad408a3062e466c84fa30521d1559074eb4336f7eb9dfa3712e9 15880 isl_0.12.2-1~rpi1.debian.tar.xz
Files: 
 e039bfcfb6c2ab039b8ee69bf883e824 1319434 isl_0.12.2.orig.tar.bz2
 e981bc689c2a32f0c2c892636de28e65 15880 isl_0.12.2-1~rpi1.debian.tar.xz