How to Install and Uninstall libisl23 Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: September 20,2024

1. Install "libisl23" package

Please follow the guidelines below to install libisl23 on Ubuntu 23.10 (Mantic Minotaur)

$ sudo apt update $ sudo apt install libisl23

2. Uninstall "libisl23" package

This guide let you learn how to uninstall libisl23 on Ubuntu 23.10 (Mantic Minotaur):

$ sudo apt remove libisl23 $ sudo apt autoclean && sudo apt autoremove

3. Information about the libisl23 package on Ubuntu 23.10 (Mantic Minotaur)

Package: libisl23
Architecture: amd64
Version: 0.26-3
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: 2236
Depends: libc6 (>= 2.14), libgmp10 (>= 2:6.2.1+dfsg1)
Breaks: libisl-dbg (<< 0.19)
Replaces: libisl-dbg (<< 0.19)
Filename: pool/main/i/isl/libisl23_0.26-3_amd64.deb
Size: 740860
MD5sum: a36e05d473c7cde5cb63d3f6baef3725
SHA1: 50d1e059ca6d13dcc9aa449b7d909047e4dcd3ae
SHA256: 3e98ee49f8d088215e670ec2c9f72dcd625aaedd83f27c44ee3434ba9c30143b
SHA512: 44a237c694fe256145d214b163b3fc935aad50928a72a02b9b4a7eb8b1ea6bceeee56fa421560dafeea11e4237789b2418a09db3d1c3103c412e4bbef3b7ff65
Homepage: http://isl.gforge.inria.fr/
Description: manipulating sets and relations of integer points bounded by linear constraints
Description-md5: b718cf54a9174f62d55d1d78f6212d22
Task: ubuntu-desktop-minimal, ubuntu-desktop, ubuntu-desktop-raspi, kubuntu-desktop, xubuntu-minimal, xubuntu-desktop, lubuntu-desktop, ubuntustudio-desktop-core, ubuntustudio-desktop, ubuntukylin-desktop, ubuntu-mate-core, ubuntu-mate-desktop, ubuntu-budgie-desktop-minimal, ubuntu-budgie-desktop, ubuntu-budgie-desktop-raspi, ubuntu-unity-desktop, ubuntucinnamon-desktop, ubuntucinnamon-desktop-raspi
Build-Essential: yes