How to Install and Uninstall proofgeneral Package on Debian 12 (Bookworm)

Last updated: May 18,2024

You can also install and uninstall the proofgeneral on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "proofgeneral" package

Here is a brief guide to show you how to install proofgeneral on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                proofgeneral
            
                    
    
    Copied

2. Uninstall "proofgeneral" package

This tutorial shows how to uninstall proofgeneral on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                proofgeneral
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the proofgeneral package on Debian 12 (Bookworm)

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