Format: 3.0 (quilt)
Source: isl-0.18
Binary: libisl-0.18-dev, libisl15
Architecture: any
Version: 0.18-1ubuntu1
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.3
Build-Depends: debhelper (>= 9), dh-autoreconf, libgmp-dev
Package-List:
 libisl-0.18-dev deb libdevel optional arch=any
 libisl15 deb libs optional arch=any
