How to Install and Uninstall proofgeneral Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: May 13,2024

1. Install "proofgeneral" package

Learn how to install proofgeneral on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                proofgeneral
            
                    
    
    Copied

2. Uninstall "proofgeneral" package

This tutorial shows how to uninstall proofgeneral on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                proofgeneral
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the proofgeneral package on Ubuntu 24.04 LTS (Noble Numbat)

Package: proofgeneral
Architecture: all
Version: 4.5-1
Priority: optional
Section: universe/editors
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Math Team
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 2140
Depends: emacs
Suggests: proofgeneral-doc, prooftree
Conflicts: proofgeneral-coq, proofgeneral-minlog, proofgeneral-misc
Replaces: proofgeneral-coq, proofgeneral-misc
Filename: pool/universe/p/proofgeneral/proofgeneral_4.5-1_all.deb
Size: 590368
MD5sum: 40512eaabebfad41160ecf628ad94c7c
SHA1: 4727a7eb2ca634315b63b6eafecdd5aaeaa67163
SHA256: 588874331858a295b44106fc582619f23c692a5342c88903b169336c851cfef4
SHA512: 0f745d6994812e4488909c6658ba15cdc7e7e9189ff3e2d6dea0b4ed63b92cc4ffd7fb7c9769631bb5609ff7820063e7ff570ace0a990d13d11b6e2e34d1380c
Homepage: https://proofgeneral.github.io/
Description: generic frontend for proof assistants
Description-md5: d9db6f28a37c20061313aac90898d734