Package: libisl-0.18-dev Architecture: amd64 Version: 0.18-4 Multi-Arch: same Priority: optional Section: universe/libdevel Source: isl-0.18 Origin: Ubuntu Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org> Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 3399 Depends: libisl15 (= 0.18-4) Conflicts: libisl-dev Breaks: libisl-dbg (<< 0.18-2) Replaces: libisl-dbg (<< 0.18-2) Filename: pool/universe/i/isl-0.18/libisl-0.18-dev_0.18-4_amd64.deb Size: 617812 MD5sum: 2fa63898bd4b48109beb39db6cae8399 SHA1: 990a6e18a8f0f5315fd56683429e5a2b9a872f23 SHA256: 04bfa46a9a362a710d25da6091d3fb0a5f749bdf9248d3a8c827dd3067989d36 Homepage: http://isl.gforge.inria.fr/ Description: manipulating sets and relations of integer points bounded by linear constraints Description-md5: 9330fbca4463124a77a29e9568838474