How to Install and Uninstall metamath-databases Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: November 07,2024

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

Kubuntu 22.04 LTS
Lubuntu 22.04 LTS
Xubuntu 22.04 LTS
Ubuntu MATE 22.04 LTS
Ubuntu Studio 22.04 LTS
Pop!_OS 22.04 LTS
Zorin OS 16 / Zorin OS 17
Ubuntu Budgie 22.04

1. Install "metamath-databases" package

This is a short guide on how to install metamath-databases on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                metamath-databases
            
                    
    
    Copied

2. Uninstall "metamath-databases" package

This is a short guide on how to uninstall metamath-databases on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                metamath-databases
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the metamath-databases package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Package: metamath-databases
Architecture: all
Version: 0.0.0~20210101.git55fe226-2
Multi-Arch: foreign
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Giovanni Mascellani
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 48088
Recommends: metamath
Filename: pool/universe/m/metamath-databases/metamath-databases_0.0.0~20210101.git55fe226-2_all.deb
Size: 12847544
MD5sum: e831586208e7bcd2650ad1122cd72738
SHA1: cc14f3a77f070207139928c7e08ec5c0c60bc36b
SHA256: 5cb7ba6d6170ca887e417bc0abfbd59462890e7b535602249528ee3bc43623dd
SHA512: bb624c99a2a8b3e216c4f58cb9f17ac5d5e3e8fcf14b10d6a46436e0fa4d9aa8b15709cc14bc509539518ecf7a035d32557c59e16b2d2fef5faf2d5ff0ae7fb2
Homepage: http://us.metamath.org/
Description: Sample databases for Metamath
Description-md5: e2d0fae982e8a7f85b1ec36b0ea4d5fa