How to Install and Uninstall libppl-swi Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 18,2024

1. Install "libppl-swi" package

Please follow the guidelines below to install libppl-swi on Ubuntu 23.10 (Mantic Minotaur)

$ sudo apt update $ sudo apt install libppl-swi

2. Uninstall "libppl-swi" package

Please follow the step by step instructions below to uninstall libppl-swi on Ubuntu 23.10 (Mantic Minotaur):

$ sudo apt remove libppl-swi $ sudo apt autoclean && sudo apt autoremove

3. Information about the libppl-swi package on Ubuntu 23.10 (Mantic Minotaur)

Package: libppl-swi
Architecture: amd64
Version: 1:1.2-8.1build3
Multi-Arch: same
Priority: optional
Section: universe/libs
Source: ppl
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Team
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 19866
Depends: libppl14 (= 1:1.2-8.1build3), swi-prolog, libc6 (>= 2.14), libgcc-s1 (>= 3.3.1), libgmp10 (>= 2:6.2.1+dfsg1), libgmpxx4ldbl (>= 2:6.2.1+dfsg1), libstdc++6 (>= 11), libswipl9
Filename: pool/universe/p/ppl/libppl-swi_1.2-8.1build3_amd64.deb
Size: 2582064
MD5sum: e8745f582b0c913fca68502c54ad5c0c
SHA1: 50474fb20634b28c528afde9397742330bca0dde
SHA256: ff5d81f9807310313e1c90bcf45a68255b813b3b692f3a9c4d3341791a438055
SHA512: 399fbf62f1ed49dbae64422140e41493fa495a982772c68af66733731b139274aa36194fac834874b71405fcc103c18a68c7ffc3d01a65a92aba1cda3bfb8ae5
Homepage: http://www.cs.unipr.it/ppl/
Description: Parma Polyhedra Library (SWI Prolog interface)
Description-md5: 4c97f42e74e4bb86b89de5582d8bbbdd