libisl23 (0.27-1+b1)

3 versions available in kali/kali-last-snapshot/main/amd64

Details

Core information at a glance

Distribution
kali
Origin
kali-last-snapshot
Repository
https://http.kali.org/kali
Codename
kali-last-snapshot
Component
main
Source
isl (0.27-1)
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
663.4 kB
Size actual
663.4 kB
Size match

Dependencies

Required package dependencies

  • libc6 (>= 2.38)
  • libgmp10 (>= 2:6.3.0+dfsg)

Suggested packages

Recommended additional packages

  • None

Description

manipulating sets and relations of integer points bounded by linear constraints

Homepage Download .deb

Tags

Package classification tags

role::shared-lib

Checksums

Hash values and integrity verification status

TypeActualMatch
MD576e03939…6e016871
SHA-16b3e0f21…b8daf316
SHA-2569b3f33aa…d7680ffa
SHA-5124d4826b9…1b297018

Contents

Files and directories included

.
usr
usr/lib
usr/lib/x86_64-linux-gnu
usr/lib/x86_64-linux-gnu/libisl.so.23.4.0
usr/share
usr/share/doc
usr/share/doc/libisl23
usr/share/doc/libisl23/changelog.Debian.amd64.gz
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.4.0-gdb.py
usr/lib/x86_64-linux-gnu/libisl.so.23