How to Install and Uninstall libppl-dev Package on Debian 12 (Bookworm)

Last updated: May 16,2024

1. Install "libppl-dev" package

Please follow the guidance below to install libppl-dev on Debian 12 (Bookworm)

$ sudo apt update $ sudo apt install libppl-dev

2. Uninstall "libppl-dev" package

Please follow the instructions below to uninstall libppl-dev on Debian 12 (Bookworm):

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

3. Information about the libppl-dev package on Debian 12 (Bookworm)

Package: libppl-dev
Source: ppl (1:1.2-8.1)
Version: 1:1.2-8.1+b1
Installed-Size: 20348
Maintainer: Debian Science Team
Architecture: amd64
Replaces: libppl0.12-dev, libppl7 (<< 0.10~pre27-4), libppl9
Provides: libppl-c-dev, libppl0.12-dev
Depends: libppl-c4 (= 1:1.2-8.1+b1), libppl14 (= 1:1.2-8.1+b1)
Recommends: libgmp-dev
Suggests: libppl-doc
Conflicts: libppl0.10-dev, libppl0.11-dev, libppl0.12-dev
Breaks: libppl7 (<< 0.10~pre27-4), libppl9
Description: Parma Polyhedra Library (development)
Description-md5: 4fa45d1b24bb1abf6f705e66d3cc4f4a
Multi-Arch: same
Homepage: http://www.cs.unipr.it/ppl/
Tag: devel::library, role::devel-lib
Section: libdevel
Priority: optional
Filename: pool/main/p/ppl/libppl-dev_1.2-8.1+b1_amd64.deb
Size: 2220172
MD5sum: 0cbe7f0a83871d48e2e815451903191e
SHA256: 6e2f077f6ac7ef6b9586eebfd6003988f7abe5070587a67026a5bec40d7f4e35