How to Install and Uninstall proofgeneral Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: May 20,2024

1. Install "proofgeneral" package

Please follow the step by step instructions below to install proofgeneral on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                proofgeneral
            
                    
    
    Copied

2. Uninstall "proofgeneral" package

Here is a brief guide to show you how to uninstall proofgeneral on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                proofgeneral
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the proofgeneral package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: proofgeneral
Architecture: all
Version: 4.4.1~pre170114-1
Priority: optional
Section: universe/editors
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Hendrik Tews
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 2028
Depends: emacs24 | emacs25, mmm-mode
Suggests: proofgeneral-doc, prooftree
Conflicts: proofgeneral-coq, proofgeneral-minlog, proofgeneral-misc
Replaces: proofgeneral-coq, proofgeneral-misc
Filename: pool/universe/p/proofgeneral/proofgeneral_4.4.1~pre170114-1_all.deb
Size: 542604
MD5sum: a7f43502f4c742bc65f98b5c028308d1
SHA1: 559f963224da4f735d93ffe599329df28d4983bf
SHA256: 3c609104ca04266a7e0bc43dbae8cb5fadc087fb8a617d9af0bc25129c7352f9
Homepage: https://proofgeneral.github.io/
Description: generic frontend for proof assistants
Description-md5: d9db6f28a37c20061313aac90898d734