How to Install and Uninstall libppl-doc Package on Debian 10 (Buster)

Last updated: January 11,2025

1. Install "libppl-doc" package

This guide let you learn how to install libppl-doc on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libppl-doc
            
                    
    
    Copied

2. Uninstall "libppl-doc" package

This guide let you learn how to uninstall libppl-doc on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libppl-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libppl-doc package on Debian 10 (Buster)

Package: libppl-doc
Source: ppl
Version: 1:1.2-7
Installed-Size: 16261
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-7_all.deb
Size: 6667780
MD5sum: 7c3976da76b815e7c87f417a52220564
SHA256: 599d4d7d30bb4968e7040142f6b36319c4a8d27ca9223242843f3d5c6d49fd2c