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

Last updated: November 07,2024

1. Install "metamath" package

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


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                metamath
            
                    
    
    Copied

2. Uninstall "metamath" package

This tutorial shows how to uninstall metamath on Debian 11 (Bullseye):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                metamath
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: metamath
Version: 0.195-1
Installed-Size: 838
Maintainer: Giovanni Mascellani
Architecture: amd64
Depends: libc6 (>= 2.14)
Suggests: metamath-databases
Description: Language for mathematical proofs
Description-md5: 4e59e766d3a9f9187c1c0bd8ff09b56b
Homepage: http://us.metamath.org/
Section: math
Priority: optional
Filename: pool/main/m/metamath/metamath_0.195-1_amd64.deb
Size: 343644
MD5sum: 14c17e3cd6a2542cce6bb902b27fe621
SHA256: c3ff523d1b8d7f28934a3b52fe1bcf084ec6dbf3e3e626310901eeb92f6bdd64