How to Install and Uninstall proofgeneral-doc Package on Kali Linux

Last updated: May 17,2024

1. Install "proofgeneral-doc" package

This tutorial shows how to install proofgeneral-doc on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                proofgeneral-doc
            
                    
    
    Copied

2. Uninstall "proofgeneral-doc" package

Learn how to uninstall proofgeneral-doc on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                proofgeneral-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the proofgeneral-doc package on Kali Linux

Package: proofgeneral-doc
Source: proofgeneral
Version: 4.5-1
Installed-Size: 1549
Maintainer: Debian Math Team
Architecture: all
Replaces: proofgeneral (<< 4)
Recommends: info-browser | pdf-viewer | www-browser
Suggests: proofgeneral
Breaks: proofgeneral (<< 4)
Size: 697772
SHA256: d500429246e0de1149fd894e04666920e31657460c2aaba910f1c877dc0dea82
SHA1: 58a773cd3c7e82ab8b62084d23a00f3338ebdae9
MD5sum: 123e25b0de8854698197a27fad9f3ab8
Description: generic frontend for proof assistants - documentation
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 the Proof General user manual in info, html and
pdf form.
Description-md5:
Homepage: https://proofgeneral.github.io/
Tag: field::mathematics, made-of::html, role::documentation, suite::emacs,
use::checking
Section: doc
Priority: optional
Filename: pool/main/p/proofgeneral/proofgeneral-doc_4.5-1_all.deb