How to Install and Uninstall maude Package on Debian 12 (Bookworm)

Last updated: November 24,2024

You can also install and uninstall the maude on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "maude" package

This guide let you learn how to install maude on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                maude
            
                    
    
    Copied

2. Uninstall "maude" package

This tutorial shows how to uninstall maude on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                maude
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the maude package on Debian 12 (Bookworm)

Package: maude
Version: 3.2-2
Installed-Size: 3374
Maintainer: Debian Med Packaging Team
Architecture: amd64
Depends: libbdd0c2, libc6 (>= 2.33), libgcc-s1 (>= 3.0), libgmp10 (>= 2:6.2.1+dfsg1), libgmpxx4ldbl (>= 2:6.2.1+dfsg1), libsigsegv2 (>= 2.9), libstdc++6 (>= 11), libtecla1 (>= 1.6.3)
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_3.2-2_amd64.deb
Size: 1064336
MD5sum: f31f8bee3b8e2b0375fb1f9f1ce0f028
SHA256: e09518906ec7be1ac4d2e1362d52725ca82bc88e243da440da610570c76a351b