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

Last updated: February 16,2025

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

MX Linux 23
SparkyLinux

1. Install "metamath" package

This guide let you learn how to install metamath on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                metamath
            
                    
    
    Copied

2. Uninstall "metamath" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                metamath
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

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