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

Last updated: November 05,2024

You can also install and uninstall the prover9-doc on the following distributions in the same way, as they are all based on the Ubuntu system

Kubuntu 22.04 LTS
Lubuntu 22.04 LTS
Xubuntu 22.04 LTS
Ubuntu MATE 22.04 LTS
Ubuntu Studio 22.04 LTS
Pop!_OS 22.04 LTS
Zorin OS 16 / Zorin OS 17
Ubuntu Budgie 22.04

1. Install "prover9-doc" package

Here is a brief guide to show you how to install prover9-doc on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                prover9-doc
            
                    
    
    Copied

2. Uninstall "prover9-doc" package

Please follow the step by step instructions below to uninstall prover9-doc on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                prover9-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: prover9-doc
Architecture: all
Version: 0.0.200902a-2.1
Priority: optional
Section: universe/doc
Source: prover9-manual
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian QA Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 3183
Suggests: prover9, ladr4-apps, python
Filename: pool/universe/p/prover9-manual/prover9-doc_0.0.200902a-2.1_all.deb
Size: 857340
MD5sum: c2b975a453da8985266d4ec56ca2b246
SHA1: ba1d9b638d7d54620d2998041ca64f74ee4c8939
SHA256: 10f00b65e1766daf1a395b01ccb02c880a77e276a3be24626f651e88c8ec30c9
SHA512: bac0a27e963ec7a8233ff9f1e90833affcf860ebd246e7265382cb435bb45771b7011605d376ee4cb03500e1615d1ed4f9e31fee6113615972bc144d9694510e
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Description: documentation for Prover9 and associated programs
Description-md5: 3666da0276f73cac13717eb7f17a3d20