How to Install and Uninstall proofgeneral Package on Debian 11 (Bullseye)

Last updated: December 27,2024

1. Install "proofgeneral" package

Please follow the steps below to install proofgeneral on Debian 11 (Bullseye)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                proofgeneral
            
                    
    
    Copied

2. Uninstall "proofgeneral" package

This guide covers the steps necessary to uninstall proofgeneral on Debian 11 (Bullseye):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                proofgeneral
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the proofgeneral package on Debian 11 (Bullseye)

Package: proofgeneral
Version: 4.4.1~pre170114-1.2
Installed-Size: 2036
Maintainer: Hendrik Tews
Architecture: all
Replaces: proofgeneral-coq, proofgeneral-misc
Depends: emacs-gtk, mmm-mode
Suggests: proofgeneral-doc, prooftree
Conflicts: proofgeneral-coq, proofgeneral-minlog, proofgeneral-misc
Description: generic frontend for proof assistants
Description-md5: d9db6f28a37c20061313aac90898d734
Homepage: https://proofgeneral.github.io/
Tag: field::mathematics, implemented-in::lisp, interface::graphical,
interface::text-mode, interface::x11, role::plugin, role::program,
suite::emacs, use::editing, x11::application
Section: editors
Priority: optional
Filename: pool/main/p/proofgeneral/proofgeneral_4.4.1~pre170114-1.2_all.deb
Size: 603032
MD5sum: ee1ea912c5970049297803b62e8e4667
SHA256: cc222174311ee0033e01a143bdd9db4ab013c5ed0a552fe11886ad9fdddc09d8