How to Install and Uninstall libppl-doc Package on Debian 12 (Bookworm)

Last updated: December 27,2024

1. Install "libppl-doc" package

This guide covers the steps necessary to install libppl-doc on Debian 12 (Bookworm)

$ 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 Debian 12 (Bookworm):

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

3. Information about the libppl-doc package on Debian 12 (Bookworm)

Package: libppl-doc
Source: ppl
Version: 1:1.2-8.1
Installed-Size: 16235
Maintainer: Debian Science Team
Architecture: all
Depends: libjs-jquery
Description: Parma Polyhedra Library: Documentation
Description-md5: e029bc6a5a70f3c124b8771f1c1acfb5
Homepage: http://www.cs.unipr.it/ppl/
Tag: devel::doc, devel::lang:c++, made-of::html, made-of::pdf,
made-of::postscript, role::documentation
Section: doc
Priority: optional
Filename: pool/main/p/ppl/libppl-doc_1.2-8.1_all.deb
Size: 6668684
MD5sum: b25c4f5d43eb7ff74c97e0ad4164c373
SHA256: 6d1a99591a0844d6a1691ed8365de2104c224947c3ca01fddceb18cb797e0f78