How to Install and Uninstall libppl-c4 Package on Ubuntu 21.10 (Impish Indri)

Last updated: May 16,2024

1. Install "libppl-c4" package

Please follow the instructions below to install libppl-c4 on Ubuntu 21.10 (Impish Indri)

$ sudo apt update $ sudo apt install libppl-c4

2. Uninstall "libppl-c4" package

Learn how to uninstall libppl-c4 on Ubuntu 21.10 (Impish Indri):

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

3. Information about the libppl-c4 package on Ubuntu 21.10 (Impish Indri)

Package: libppl-c4
Architecture: amd64
Version: 1:1.2-8.1build1
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: 4692
Depends: libppl14 (= 1:1.2-8.1build1), libc6 (>= 2.14), libgcc-s1 (>= 3.0), libgmp10, libgmpxx4ldbl, libstdc++6 (>= 9)
Filename: pool/universe/p/ppl/libppl-c4_1.2-8.1build1_amd64.deb
Size: 1083556
MD5sum: ced04b8fee60d07c4b68303d39569268
SHA1: 770405223a8bc2d7c5c3657bbbf78544e983d054
SHA256: 53f8096b46c1b6345ca655ad318c101b6c3dbdde3728c2f69158f78b08e486ee
SHA512: 6377595213d8c7be58ff47cced11a53839cdb9a0d92fad80e43dd7570ee0d783e010bb57a6d3d0a681d05679faee95af175cf539888123b7ca8390fcaa6dc4dc
Homepage: http://www.cs.unipr.it/ppl/
Description-en: Parma Polyhedra Library (C interface)
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 C interface.
Description-md5: 3c87365d9c2bd2105b6021fbbfa6cdf0