How to Install and Uninstall proofgeneral Package on Ubuntu 21.10 (Impish Indri)

Last updated: May 11,2024

1. Install "proofgeneral" package

Please follow the step by step instructions below to install proofgeneral on Ubuntu 21.10 (Impish Indri)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                proofgeneral
            
                    
    
    Copied

2. Uninstall "proofgeneral" package

Please follow the guidance below to uninstall proofgeneral on Ubuntu 21.10 (Impish Indri):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                proofgeneral
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the proofgeneral package on Ubuntu 21.10 (Impish Indri)

Package: proofgeneral
Architecture: all
Version: 4.4.1~pre170114-1.2
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: emacs-gtk, 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.2_all.deb
Size: 542408
MD5sum: 3226d322e5746207c33cf8351030c7af
SHA1: 18a9fbafa1c2a884cd834b7ada575a7c41596e68
SHA256: 3ed4fa1919d01aa41795c4082e07541b74b8e682be2938e0322c97479930e1bd
SHA512: aca65fd5527e53576cb37e56df7b4415e5863a1d20980535bdd6cfd8449ab5e1cfe0b66c131ce63225a894ffe544f8e80745954fe6f519d6162dd16b776ce0a4
Homepage: https://proofgeneral.github.io/
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