How to Install and Uninstall libppl-swi Package on Debian 10 (Buster)

Last updated: May 21,2024

1. Install "libppl-swi" package

This guide covers the steps necessary to install libppl-swi on Debian 10 (Buster)

$ sudo apt update $ sudo apt install libppl-swi

2. Uninstall "libppl-swi" package

This tutorial shows how to uninstall libppl-swi on Debian 10 (Buster):

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

3. Information about the libppl-swi package on Debian 10 (Buster)

Package: libppl-swi
Source: ppl
Version: 1:1.2-7
Installed-Size: 25974
Maintainer: Debian Science Team
Architecture: amd64
Depends: libppl14 (= 1:1.2-7), swi-prolog, libc6 (>= 2.14), libgcc1 (>= 1:3.0), libgmp10, libgmpxx4ldbl, libstdc++6 (>= 5.2), swi-prolog-nox
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-7_amd64.deb
Size: 2834480
MD5sum: 896a023b2b2e337aee114526f9db5b79
SHA256: 041b6c5d081ce479e3ce9955e140bdfa800ca421762b23bd94aaa457b61a758e