How to Install and Uninstall metamath Package on Linux Mint 20.3 (Una)

Last updated: November 26,2024

1. Install "metamath" package

This tutorial shows how to install metamath on Linux Mint 20.3 (Una)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                metamath
            
                    
    
    Copied

2. Uninstall "metamath" package

Please follow the step by step instructions below to uninstall metamath on Linux Mint 20.3 (Una):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                metamath
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the metamath package on Linux Mint 20.3 (Una)

Package: metamath
Architecture: amd64
Version: 0.180-1
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Giovanni Mascellani
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 814
Depends: libc6 (>= 2.14)
Suggests: metamath-databases
Filename: pool/universe/m/metamath/metamath_0.180-1_amd64.deb
Size: 335160
MD5sum: ab30de1d0d2f4df3831e11e410f396b8
SHA1: 5bc8ba4abea28f29ee36fb96dc6e27de69d61d8d
SHA256: 0161281b0dba7b4beb4656deb9bf4bfe36c235485a12bfdfde77c13164c13749
Homepage: http://us.metamath.org/
Description: Language for mathematical proofs
Description-md5: 4e59e766d3a9f9187c1c0bd8ff09b56b