How to Install and Uninstall maude Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 15,2024

1. Install "maude" package

Here is a brief guide to show you how to install maude on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                maude
            
                    
    
    Copied

2. Uninstall "maude" package

In this section, we are going to explain the necessary steps to uninstall maude on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                maude
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the maude package on Ubuntu 23.10 (Mantic Minotaur)

Package: maude
Architecture: amd64
Version: 3.2-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: 2903
Depends: libbdd0c2, libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libgmp10 (>= 2:6.2.1+dfsg), libgmpxx4ldbl (>= 2:6.2.1+dfsg), libsigsegv2 (>= 2.9), libstdc++6 (>= 11), libtecla1 (>= 1.6.3)
Filename: pool/universe/m/maude/maude_3.2-2_amd64.deb
Size: 1055192
MD5sum: c1e79c79d5ade65b1d1c86228f23a46a
SHA1: 3a5fecc3b331e859bf75484c9d985d3522dca576
SHA256: 2fe395f09ede43753de4a869f94cd19b26c63a5502e37fea43c95d747e386989
SHA512: 1ec8ff7b1ea979aed8b3a3072285408922446d7ec35f30397cd86f36ffd1a61359b7cc7f40bb50a6b77c9a4a92cad3391965158d3e01bb474b9774608a58b5be
Homepage: http://maude.cs.uiuc.edu
Description: high-performance logical framework
Description-md5: ccc32fb1bab14fc17d812e62b5294862