Format: 3.0 (quilt)
Source: isl
Binary: libisl-dev, libisl19
Architecture: any
Version: 0.20-2co1
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Uploaders: Matthias Klose <doko@debian.org>
Homepage: http://isl.gforge.inria.fr/
Standards-Version: 4.1.5
Build-Depends: debhelper (>= 9), dh-autoreconf, libgmp-dev, python3
Package-List:
 libisl-dev deb libdevel optional arch=any
 libisl19 deb libs optional arch=any
