How to Install and Uninstall libisl23 Package on Ubuntu 21.10 (Impish Indri)
Last updated: November 25,2024
1. Install "libisl23" package
This guide covers the steps necessary to install libisl23 on Ubuntu 21.10 (Impish Indri)
$
sudo apt update
Copied
$
sudo apt install
libisl23
Copied
2. Uninstall "libisl23" package
Please follow the guidelines below to uninstall libisl23 on Ubuntu 21.10 (Impish Indri):
$
sudo apt remove
libisl23
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libisl23 package on Ubuntu 21.10 (Impish Indri)
Package: libisl23
Architecture: amd64
Version: 0.24-1
Multi-Arch: same
Priority: optional
Section: libs
Source: isl
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian GCC Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 2159
Depends: libc6 (>= 2.14), libgmp10
Breaks: libisl-dbg (<< 0.19)
Replaces: libisl-dbg (<< 0.19)
Filename: pool/main/i/isl/libisl23_0.24-1_amd64.deb
Size: 667532
MD5sum: f8c4f45402ba80afa0155794797feaca
SHA1: 5d47cb78b380dd14e18a45bb313ca0dad2c933ed
SHA256: a766f4877ec543f81f50b5108dbb7e220a127bcdfe94c50ae03e452b33413984
SHA512: 04d85b89d95b618535da967328ecb146fcf82675eb7faae0958534fab889bc65ad70d28a20eb0dd3b38182e974ad1b5145d8d8999179eb1add0c18aed25bfdeb
Homepage: http://isl.gforge.inria.fr/
Description-en: manipulating sets and relations of integer points bounded by linear constraints
isl is a library for manipulating sets and relations of integer points
bounded by linear constraints. Supported operations on sets include
intersection, union, set difference, emptiness check, convex hull,
(integer) affine hull, integer projection, and computing the lexicographic
minimum using parametric integer programming. It also includes an ILP solver
based on generalized basis reduction.
.
This package contains the runtime library.
Description-md5: b718cf54a9174f62d55d1d78f6212d22
Task: ubuntu-desktop-minimal, ubuntu-desktop, ubuntu-desktop-raspi, kubuntu-desktop, xubuntu-core, xubuntu-desktop, lubuntu-desktop, ubuntustudio-desktop-core, ubuntustudio-desktop, ubuntukylin-desktop, ubuntu-mate-core, ubuntu-mate-desktop, ubuntu-budgie-desktop, ubuntu-budgie-desktop-raspi
Build-Essential: yes
Architecture: amd64
Version: 0.24-1
Multi-Arch: same
Priority: optional
Section: libs
Source: isl
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian GCC Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 2159
Depends: libc6 (>= 2.14), libgmp10
Breaks: libisl-dbg (<< 0.19)
Replaces: libisl-dbg (<< 0.19)
Filename: pool/main/i/isl/libisl23_0.24-1_amd64.deb
Size: 667532
MD5sum: f8c4f45402ba80afa0155794797feaca
SHA1: 5d47cb78b380dd14e18a45bb313ca0dad2c933ed
SHA256: a766f4877ec543f81f50b5108dbb7e220a127bcdfe94c50ae03e452b33413984
SHA512: 04d85b89d95b618535da967328ecb146fcf82675eb7faae0958534fab889bc65ad70d28a20eb0dd3b38182e974ad1b5145d8d8999179eb1add0c18aed25bfdeb
Homepage: http://isl.gforge.inria.fr/
Description-en: manipulating sets and relations of integer points bounded by linear constraints
isl is a library for manipulating sets and relations of integer points
bounded by linear constraints. Supported operations on sets include
intersection, union, set difference, emptiness check, convex hull,
(integer) affine hull, integer projection, and computing the lexicographic
minimum using parametric integer programming. It also includes an ILP solver
based on generalized basis reduction.
.
This package contains the runtime library.
Description-md5: b718cf54a9174f62d55d1d78f6212d22
Task: ubuntu-desktop-minimal, ubuntu-desktop, ubuntu-desktop-raspi, kubuntu-desktop, xubuntu-core, xubuntu-desktop, lubuntu-desktop, ubuntustudio-desktop-core, ubuntustudio-desktop, ubuntukylin-desktop, ubuntu-mate-core, ubuntu-mate-desktop, ubuntu-budgie-desktop, ubuntu-budgie-desktop-raspi
Build-Essential: yes