Package - libisl23
Primary informations
Download package: http://deb.debian.org/debian/pool/main/i/isl/libisl23_0.27-1_amd64.deb (Size: 643.7KiB)| Property | Value |
|---|---|
| Package | libisl23 |
| Source | isl |
| Version | 0.27-1 |
| Installed-Size | 2253 |
| Maintainer | Debian GCC Maintainers |
| Architecture | amd64 |
| Replaces | libisl-dbg (<< 0.19) |
| Depends | libc6 (>= 2.14), libgmp10 (>= 2:6.3.0+dfsg) |
| Breaks | libisl-dbg (<< 0.19) |
| Description | manipulating sets and relations of integer points bounded by linear constraints |
| Description-md5 | b718cf54a9174f62d55d1d78f6212d22 |
| Multi-Arch | same |
| Homepage | https://openhub.net/p/isl |
| Tag | role::shared-lib |
| Section | libs |
| Priority | optional |
| Filename | pool/main/i/isl/libisl23_0.27-1_amd64.deb |
| Size | 659152 |
| MD5sum | b3588a435f44ab74fc24e85d6ac4d807 |
| SHA256 | ac8518042e81c00de1effb72bba7e88ac4ecd488f7ea8b9e3ebc63159cb53b35 |
Files in package
- /usr/lib/x86_64-linux-gnu/libisl.so.23
- /usr/lib/x86_64-linux-gnu/libisl.so.23.4.0
- /usr/share/doc/libisl23/changelog.Debian.gz
- /usr/share/doc/libisl23/changelog.gz
- /usr/share/doc/libisl23/copyright
- /usr/share/gdb/auto-load/usr/lib/x86_64-linux-gnu/libisl.so.23.4.0-gdb.py