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

Last updated: December 27,2024

You can also install and uninstall the proofgeneral-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 "proofgeneral-doc" package

Please follow the instructions below to install proofgeneral-doc on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                proofgeneral-doc
            
                    
    
    Copied

2. Uninstall "proofgeneral-doc" package

This guide covers the steps necessary to uninstall proofgeneral-doc on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                proofgeneral-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: proofgeneral-doc
Architecture: all
Version: 4.4.1~pre170114-1.2
Priority: optional
Section: universe/doc
Source: proofgeneral
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Hendrik Tews
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1550
Recommends: info-browser | pdf-viewer | www-browser
Suggests: proofgeneral
Breaks: proofgeneral (<< 4)
Replaces: proofgeneral (<< 4)
Filename: pool/universe/p/proofgeneral/proofgeneral-doc_4.4.1~pre170114-1.2_all.deb
Size: 671136
MD5sum: f6d539c7d375fb94fd2e3654ad4f6512
SHA1: 9e5571ce0b21c3b37c8f1f7e1163d48d2db95266
SHA256: de84056b27adda17c35d305050c2c0049f5e8cbd7cfa80bcf98df18036703279
SHA512: 28134fec72d09a8defeda8162e2571e0bec5aa0e7eb967b195218268305f9d49013e0651b686bc842a16e063ae341ef41d322c82a3db94829c66e5a795539100
Homepage: https://proofgeneral.github.io/
Description: generic frontend for proof assistants - documentation
Description-md5: cdd14456c76d5e2c98c64600689dd506