How to Install and Uninstall libppl-swi Package on Debian 12 (Bookworm)
Last updated: December 23,2024
Notice
You can also install and uninstall the libppl-swi on the following distributions in the same way, as they are all based on the Debian system
- MX Linux 23
- SparkyLinux
1. Install "libppl-swi" package
Please follow the steps below to install libppl-swi on Debian 12 (Bookworm)
$
sudo apt update
Copied
$
sudo apt install
libppl-swi
Copied
2. Uninstall "libppl-swi" package
Please follow the guidelines below to uninstall libppl-swi on Debian 12 (Bookworm):
$
sudo apt remove
libppl-swi
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libppl-swi package on Debian 12 (Bookworm)
Package: libppl-swi
Source: ppl (1:1.2-8.1)
Version: 1:1.2-8.1+b1
Installed-Size: 26989
Maintainer: Debian Science Team
Architecture: amd64
Depends: libppl14 (= 1:1.2-8.1+b1), swi-prolog, libc6 (>= 2.14), libgcc-s1 (>= 3.0), libgmp10 (>= 2:6.2.1+dfsg1), libgmpxx4ldbl (>= 2:6.2.1+dfsg1), libstdc++6 (>= 11), libswipl9
Description: Parma Polyhedra Library (SWI Prolog interface)
Description-md5: 4c97f42e74e4bb86b89de5582d8bbbdd
Multi-Arch: same
Homepage: http://www.cs.unipr.it/ppl/
Tag: role::shared-lib
Section: libs
Priority: optional
Filename: pool/main/p/ppl/libppl-swi_1.2-8.1+b1_amd64.deb
Size: 3144896
MD5sum: 0fe9b04ce5564e833685787373996b30
SHA256: cd5fd365bbeaffa43338bdc982e250546a4240d5460294afda0f9e3fbe128c0d
Source: ppl (1:1.2-8.1)
Version: 1:1.2-8.1+b1
Installed-Size: 26989
Maintainer: Debian Science Team
Architecture: amd64
Depends: libppl14 (= 1:1.2-8.1+b1), swi-prolog, libc6 (>= 2.14), libgcc-s1 (>= 3.0), libgmp10 (>= 2:6.2.1+dfsg1), libgmpxx4ldbl (>= 2:6.2.1+dfsg1), libstdc++6 (>= 11), libswipl9
Description: Parma Polyhedra Library (SWI Prolog interface)
Description-md5: 4c97f42e74e4bb86b89de5582d8bbbdd
Multi-Arch: same
Homepage: http://www.cs.unipr.it/ppl/
Tag: role::shared-lib
Section: libs
Priority: optional
Filename: pool/main/p/ppl/libppl-swi_1.2-8.1+b1_amd64.deb
Size: 3144896
MD5sum: 0fe9b04ce5564e833685787373996b30
SHA256: cd5fd365bbeaffa43338bdc982e250546a4240d5460294afda0f9e3fbe128c0d