How to Install and Uninstall libppl-doc Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: November 22,2024

1. Install "libppl-doc" package

This is a short guide on how to install libppl-doc on Ubuntu 22.04 LTS (Jammy Jellyfish)

$ sudo apt update $ sudo apt install libppl-doc

2. Uninstall "libppl-doc" package

Here is a brief guide to show you how to uninstall libppl-doc on Ubuntu 22.04 LTS (Jammy Jellyfish):

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

3. Information about the libppl-doc package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Package: libppl-doc
Architecture: all
Version: 1:1.2-8.1build1
Priority: optional
Section: universe/doc
Source: ppl
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Team
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 16237
Depends: libjs-jquery
Filename: pool/universe/p/ppl/libppl-doc_1.2-8.1build1_all.deb
Size: 6479304
MD5sum: b2760406059cbb4e810e5a8e6ecc6905
SHA1: 231f9a46c134832bec759798eb74db371beb1b82
SHA256: 294fc0583af818279e3911c16a42f2d2f36cbcd780a578bfcf5e2851d8e3a6d5
SHA512: db130caa0d5d8dccfd89966c0611da1b5be94aeafc2db69b6604838f1294dd7a59b054ac4f8385be796494c0d279e63e418655d4760b78c7e798ef56f06ade60
Homepage: http://www.cs.unipr.it/ppl/
Description: Parma Polyhedra Library: Documentation
Description-md5: e029bc6a5a70f3c124b8771f1c1acfb5