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

Last updated: May 19,2024

1. Install "libppl-dev" package

In this section, we are going to explain the necessary steps to install libppl-dev on Ubuntu 18.04 LTS (Bionic Beaver)

$ sudo apt update $ sudo apt install libppl-dev

2. Uninstall "libppl-dev" package

This tutorial shows how to uninstall libppl-dev on Ubuntu 18.04 LTS (Bionic Beaver):

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

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

Package: libppl-dev
Architecture: amd64
Version: 1:1.2-2build4
Multi-Arch: same
Priority: optional
Section: universe/libdevel
Source: ppl
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Team
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 17738
Provides: libppl-c-dev, libppl0.12-dev
Depends: libppl14 (= 1:1.2-2build4), libppl-c4 (= 1:1.2-2build4)
Recommends: libgmp3-dev
Suggests: libppl-doc
Conflicts: libppl0.10-dev, libppl0.11-dev, libppl0.12-dev
Breaks: libppl7 (<< 0.10~pre27-4), libppl9
Replaces: libppl0.12-dev, libppl7 (<< 0.10~pre27-4), libppl9
Filename: pool/universe/p/ppl/libppl-dev_1.2-2build4_amd64.deb
Size: 1770632
MD5sum: 9531b10782760510eaa829487300efa2
SHA1: 5a3d716709b105e3ad1daa39864ff9036754f078
SHA256: f7a188889f20861157f1db11149c918cd987c89b998361864fa8f34fe55123c6
Homepage: http://www.cs.unipr.it/ppl/
Description: Parma Polyhedra Library (development)
Description-md5: 4fa45d1b24bb1abf6f705e66d3cc4f4a