How to Install and Uninstall libppl13v5 Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: May 18,2024

1. Install "libppl13v5" package

Here is a brief guide to show you how to install libppl13v5 on Ubuntu 16.04 LTS (Xenial Xerus)

$ sudo apt update $ sudo apt install libppl13v5

2. Uninstall "libppl13v5" package

This guide let you learn how to uninstall libppl13v5 on Ubuntu 16.04 LTS (Xenial Xerus):

$ sudo apt remove libppl13v5 $ sudo apt autoclean && sudo apt autoremove

3. Information about the libppl13v5 package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: libppl13v5
Priority: optional
Section: universe/libs
Installed-Size: 1400
Maintainer: Ubuntu Developers
Original-Maintainer: Michael Tautschnig
Architecture: amd64
Source: ppl
Version: 1:1.1-7.2build1
Replaces: libppl13
Depends: libc6 (>= 2.14), libgcc1 (>= 1:3.0), libgmp10, libgmpxx4ldbl, libstdc++6 (>= 5.2)
Conflicts: libppl13
Filename: pool/universe/p/ppl/libppl13v5_1.1-7.2build1_amd64.deb
Size: 429526
MD5sum: f88da2e27d57f9caf951ae50a8474026
SHA1: aa5291440ed97217113e3346c6356e5d535fdcd9
SHA256: 0efd5712ae2f72ab3c12eb447cd5cf9f67383a1b7575d428b7ee2b7e228fc620
Description-en: Parma Polyhedra Library (runtime library)
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.
Description-md5: 5bfdb37d7ebe77449accec15da9c6faa
Multi-Arch: same
Homepage: http://www.cs.unipr.it/ppl/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu