How to Install and Uninstall maude Package on Debian 10 (Buster)

Last updated: September 20,2024

1. Install "maude" package

This guide covers the steps necessary to install maude on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                maude
            
                    
    
    Copied

2. Uninstall "maude" package

Please follow the guidelines below to uninstall maude on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                maude
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the maude package on Debian 10 (Buster)

Package: maude
Source: maude (2.7-2)
Version: 2.7-2+b2
Installed-Size: 2466
Maintainer: Debian Med Packaging Team
Architecture: amd64
Depends: libbdd0c2, libc6 (>= 2.16), libgcc1 (>= 1:3.0), libgmp10, libgmpxx4ldbl, libncurses6 (>= 6), libsigsegv2 (>= 2.9), libstdc++6 (>= 5.2), libtecla1, libtinfo6 (>= 6)
Description: high-performance logical framework
Description-md5: ccc32fb1bab14fc17d812e62b5294862
Homepage: http://maude.cs.uiuc.edu
Tag: uitoolkit::ncurses
Section: science
Priority: optional
Filename: pool/main/m/maude/maude_2.7-2+b2_amd64.deb
Size: 821376
MD5sum: 60181778ef07dd6874dcdc92e73d6ccc
SHA256: 4ddd20a64df8bc980c4c0754d6f404e3a06712b64f0348ec01a767dab75bf233