How to Install and Uninstall ppl-dev Package on Ubuntu 21.10 (Impish Indri)

Last updated: May 19,2024

1. Install "ppl-dev" package

Please follow the guidelines below to install ppl-dev on Ubuntu 21.10 (Impish Indri)

$ sudo apt update $ sudo apt install ppl-dev

2. Uninstall "ppl-dev" package

This guide let you learn how to uninstall ppl-dev on Ubuntu 21.10 (Impish Indri):

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

3. Information about the ppl-dev package on Ubuntu 21.10 (Impish Indri)

Package: ppl-dev
Architecture: amd64
Version: 1:1.2-8.1build1
Priority: optional
Section: universe/devel
Source: ppl
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Team
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 329
Depends: libppl-dev (= 1:1.2-8.1build1), libc6 (>= 2.14), libgcc-s1 (>= 3.0), libppl14, libstdc++6 (>= 5.2)
Replaces: libppl0.11-dev
Filename: pool/universe/p/ppl/ppl-dev_1.2-8.1build1_amd64.deb
Size: 35072
MD5sum: df7d4407b078ae94829095be9ed00548
SHA1: 7fd9ac806bbc33cba69f096f6cc464ccdd15dbf7
SHA256: 491dd9ff9d77670151740937c38827b23fe8ba7c2bd65f98177e06bebf52a9d4
SHA512: b939a321d0e53f0388cd94b33de8213570a9ca9807ba60c2c25c9c142f75a4d616788fbea9238b3c44d63d2650962467131ccbe8b87afb74c280ee8d6127382f
Homepage: http://www.cs.unipr.it/ppl/
Description-en: Parma Polyhedra Library (development binaries)
The Parma Polyhedra Library (PPL) is a C++ library for the
manipulation of (not necessarily closed) convex polyhedra and other
numerical abstractions. The applications of convex polyhedra include
program analysis, optimized compilation, integer and combinatorial
optimization and statistical data-editing. The Parma Polyhedra
Library is user friendly (you write `x + 2*y + 5*z <= 7' when you
mean it), fully dynamic (available virtual memory is the only
limitation to the dimension of anything), written in standard C++,
exception-safe, rather efficient and thoroughly documented.
.
This package provides the ppl-config binary.
Description-md5: c3e473b9c4ef451e4f19dc97f6d27453