How to Install and Uninstall proofgeneral Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: May 13,2024

1. Install "proofgeneral" package

Please follow the instructions below to install proofgeneral on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                proofgeneral
            
                    
    
    Copied

2. Uninstall "proofgeneral" package

Please follow the guidance below to uninstall proofgeneral on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                proofgeneral
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the proofgeneral package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: proofgeneral
Priority: optional
Section: universe/editors
Installed-Size: 1678
Maintainer: Ubuntu Developers
Original-Maintainer: Hendrik Tews
Architecture: all
Version: 4.3~pre131011-0.2
Replaces: proofgeneral-coq, proofgeneral-misc
Depends: emacs24 | emacs24-nox | emacs24-lucid, mmm-mode
Suggests: proofgeneral-doc
Conflicts: proofgeneral-coq, proofgeneral-minlog, proofgeneral-misc
Filename: pool/universe/p/proofgeneral/proofgeneral_4.3~pre131011-0.2_all.deb
Size: 364274
MD5sum: d3e755e03e668048b33ad96260fa3cd8
SHA1: 03ac5ad11e4877d931e238cccb9a35a3e8a6caf9
SHA256: aa2c8b886c452f525faab33596e12b18d54e78c7be728b206996878c6d519e82
Description-en: generic frontend for proof assistants
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
theorem provers.
.
This package provides Proof General support for Coq. (There is no
other proof assistant that one could sensibly support.)
Description-md5: d9db6f28a37c20061313aac90898d734
Homepage: http://proofgeneral.inf.ed.ac.uk
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu