How to Install and Uninstall libppl-doc Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: February 24,2025

1. Install "libppl-doc" package

In this section, we are going to explain the necessary steps to install libppl-doc on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libppl-doc
            
                    
    
    Copied

2. Uninstall "libppl-doc" package

In this section, we are going to explain the necessary steps to uninstall libppl-doc on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libppl-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libppl-doc package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: libppl-doc
Architecture: all
Version: 1:1.2-2build4
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: 16260
Depends: libjs-jquery
Filename: pool/universe/p/ppl/libppl-doc_1.2-2build4_all.deb
Size: 6478536
MD5sum: b76b907017deb7b95c59fa3a2f783639
SHA1: 62154a07fe7128a0afeead78a9e398956e3b3922
SHA256: fd49253e8d80883bbb7bd94c979c901bd30e544d6196f5bbee636cb09505c859
Homepage: http://www.cs.unipr.it/ppl/
Description: Parma Polyhedra Library: Documentation
Description-md5: e029bc6a5a70f3c124b8771f1c1acfb5