Package: libisl15 Architecture: amd64 Version: 0.18-4 Multi-Arch: same Priority: optional Section: universe/libs 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: 1719 Depends: libc6 (>= 2.14), libgmp10 Filename: pool/universe/i/isl-0.18/libisl15_0.18-4_amd64.deb Size: 547612 MD5sum: d4650d223975a310e0f79b272dd96ccf SHA1: 208ce135ea6f489e08c0a4890c034487c5744e50 SHA256: cd7342b24e5152aac9145e73e57e6991422edb34ff3740974795bb266fcc6fdb Homepage: http://isl.gforge.inria.fr/ Description: manipulating sets and relations of integer points bounded by linear constraints Description-md5: b718cf54a9174f62d55d1d78f6212d22