How to Install and Uninstall libppl-swi Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: May 19,2024

1. Install "libppl-swi" package

Please follow the guidance below to install libppl-swi on Ubuntu 18.04 LTS (Bionic Beaver)

$ 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 18.04 LTS (Bionic Beaver):

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

3. Information about the libppl-swi package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: libppl-swi
Architecture: amd64
Version: 1:1.2-2build4
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: 22787
Depends: libppl14 (= 1:1.2-2build4), libc6 (>= 2.14), libgcc1 (>= 1:3.0), libgmp10, libgmpxx4ldbl, libstdc++6 (>= 5.2), swi-prolog-nox (>= 7.6.4+dfsg~), swi-prolog-nox (<< 7.6.4+dfsg.0~), swi-prolog
Filename: pool/universe/p/ppl/libppl-swi_1.2-2build4_amd64.deb
Size: 2443964
MD5sum: afa5db155c406eb649173962465c7b11
SHA1: a21550a36b1d3299e64efa8e14ace28f02886f7f
SHA256: a19b63223c6da7f14b0cfae654c66b9e91cd5dbb50e9e272baf5d8c0469bace3
Homepage: http://www.cs.unipr.it/ppl/
Description: Parma Polyhedra Library (SWI Prolog interface)
Description-md5: 4c97f42e74e4bb86b89de5582d8bbbdd