libisl23 (0.25-1.1)

Details

Core information at a glance

Distribution: debian
Origin: debian-bookworm
Repository: https://deb.debian.org/debian
Codename: bookworm
Component: main
Source: isl
Architecture: amd64
Section: libs
Priority: optional
Maintainer: Debian GCC Maintainers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 2.3 kB
Size expected: 683.1 kB
Size actual: 683.1 kB
Size match

Dependencies

Required package dependencies

libc6 (>= 2.14)
libgmp10 (>= 2:6.2.1+dfsg1)

Suggested packages

Recommended additional packages

None

Description

manipulating sets and relations of integer points bounded by linear constraints

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual
MD5	7a31f974…30cd80d2	7a31f974…30cd80d2
SHA-1	Not provided	ee2aa213…3a5665fc
SHA-256	ebff0b2f…14e4da0e	ebff0b2f…14e4da0e
SHA-512	Not provided	687f5d80…c60c122f

Files and directories included

.
usr
usr/lib
usr/lib/x86_64-linux-gnu
usr/lib/x86_64-linux-gnu/libisl.so.23.2.0
usr/share
usr/share/doc
usr/share/doc/libisl23
usr/share/doc/libisl23/changelog.Debian.gz
usr/share/doc/libisl23/changelog.gz
usr/share/doc/libisl23/copyright
usr/share/gdb
usr/share/gdb/auto-load
usr/share/gdb/auto-load/usr
usr/share/gdb/auto-load/usr/lib
usr/share/gdb/auto-load/usr/lib/x86_64-linux-gnu
usr/share/gdb/auto-load/usr/lib/x86_64-linux-gnu/libisl.so.23.2.0-gdb.py
usr/lib/x86_64-linux-gnu/libisl.so.23