How to Install and Uninstall metamath Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: December 23,2024

1. Install "metamath" package

Please follow the steps below to install metamath on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                metamath
            
                    
    
    Copied

2. Uninstall "metamath" package

This guide let you learn how to uninstall metamath on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                metamath
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the metamath package on Ubuntu 22.10 (Kinetic Kudu)

Package: metamath
Architecture: amd64
Version: 0.195-1
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Giovanni Mascellani
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 842
Depends: libc6 (>= 2.14)
Suggests: metamath-databases
Filename: pool/universe/m/metamath/metamath_0.195-1_amd64.deb
Size: 343800
MD5sum: 2eca6a0545d0116b426738335a9e0a8d
SHA1: e5914f8499b87e23194fa1e2781919e12446da50
SHA256: 39eade4918aa78bda43e6aa312505810c915a1aaa4dc49dda31d72d001bcaa91
SHA512: 08f9676d3851bb59ff1198c5561b21ec6781ed8f0502072bdda7690f494e9e81ef0b20bd97ac418c41abd0f0c063d7ccc1373b10bf0f64330e16dc0ae3d8fc48
Homepage: http://us.metamath.org/
Description: Language for mathematical proofs
Description-md5: 4e59e766d3a9f9187c1c0bd8ff09b56b