How to Install and Uninstall maude Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: November 22,2024

You can also install and uninstall the maude 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 "maude" package

Please follow the guidance below to install maude on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                maude
            
                    
    
    Copied

2. Uninstall "maude" package

Please follow the instructions below to uninstall maude on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                maude
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the maude package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Package: maude
Architecture: amd64
Version: 3.1-2
Priority: optional
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Med Packaging Team
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 3253
Depends: libbdd0c2, libc6 (>= 2.29), libgcc-s1 (>= 3.0), libgmp10, libgmpxx4ldbl, libsigsegv2 (>= 2.9), libstdc++6 (>= 5.2), libtecla1
Filename: pool/universe/m/maude/maude_3.1-2_amd64.deb
Size: 1026164
MD5sum: 05961f20aab6da59b2742a1b296b12db
SHA1: 36a2d6a17e7252d9e4aace7666077fdee780140d
SHA256: c224f73ebea1898d685561d59089a66cee0e0c8fce0e33dd480ca834248e5312
SHA512: cf829172b5ddc6c33b24c85356848e1c10c3311d5dbc2f488b285fc76fbade6f7f713e545c9edff8453a189d3150b163860e75cac4b2938f755e06f6df44b40d
Homepage: http://maude.cs.uiuc.edu
Description: high-performance logical framework
Description-md5: ccc32fb1bab14fc17d812e62b5294862