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: ppc64el
Section: libs
Priority: optional
Maintainer: Debian GCC Maintainers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 3.3 kB
Size expected: 756.4 kB
Size actual: 756.4 kB
Size match

Dependencies

Required package dependencies

libc6 (>= 2.17)
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	d16802b8…f0b8b014	d16802b8…f0b8b014
SHA-1	Not provided	b6a73860…bf1c8d7a
SHA-256	ed2db210…ee0d3dac	ed2db210…ee0d3dac
SHA-512	Not provided	e0f4ca42…526074d4

Files and directories included

.
usr
usr/lib
usr/lib/powerpc64le-linux-gnu
usr/lib/powerpc64le-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/powerpc64le-linux-gnu
usr/share/gdb/auto-load/usr/lib/powerpc64le-linux-gnu/libisl.so.23.2.0-gdb.py
usr/lib/powerpc64le-linux-gnu/libisl.so.23