Package: libisl-0.18-dev Architecture: i386 Version: 0.18-4 Multi-Arch: same Priority: optional Section: universe/libdevel Source: isl-0.18 Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Debian GCC Maintainers Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 3143 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_i386.deb Size: 698008 MD5sum: 3aab70afd9cfd86b0d156888baf3b6a4 SHA1: 3cfa3fd9ec0f43dfcee50283ccf9df0d265c41a1 SHA256: 2fd7a28de80e7d68fa8bb4133a11a0735027156639e1a6d25cb1de2ffa45c8e1 Homepage: http://isl.gforge.inria.fr/ Description: manipulating sets and relations of integer points bounded by linear constraints Description-md5: 9330fbca4463124a77a29e9568838474