How to Install and Uninstall prover9-doc Package on Debian 11 (Bullseye)

Last updated: April 28,2024

1. Install "prover9-doc" package

Please follow the guidance below to install prover9-doc on Debian 11 (Bullseye)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                prover9-doc
            
                    
    
    Copied

2. Uninstall "prover9-doc" package

This tutorial shows how to uninstall prover9-doc on Debian 11 (Bullseye):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                prover9-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the prover9-doc package on Debian 11 (Bullseye)

Package: prover9-doc
Source: prover9-manual
Version: 0.0.200902a-2.1
Installed-Size: 3183
Maintainer: Debian QA Group
Architecture: all
Suggests: prover9, ladr4-apps, python
Description: documentation for Prover9 and associated programs
Description-md5: 3666da0276f73cac13717eb7f17a3d20
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Tag: made-of::html, made-of::pdf, role::documentation
Section: doc
Priority: optional
Filename: pool/main/p/prover9-manual/prover9-doc_0.0.200902a-2.1_all.deb
Size: 857296
MD5sum: c678f6a39585b576bd097cf5fb5b2d9a
SHA256: 0584e4d91ff62416638c5b1061587e19066200425ec9ea6b6ba67fce234aa682