How to Install and Uninstall rumur Package on Debian 11 (Bullseye)

Last updated: November 22,2024

1. Install "rumur" package

Learn how to install rumur on Debian 11 (Bullseye)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                rumur
            
                    
    
    Copied

2. Uninstall "rumur" package

Learn how to uninstall rumur on Debian 11 (Bullseye):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                rumur
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the rumur package on Debian 11 (Bullseye)

Package: rumur
Version: 2020.12.20-1
Installed-Size: 5870
Maintainer: Matthew Fernandez
Architecture: amd64
Depends: libc6 (>= 2.15), libgcc-s1 (>= 3.0), libgmp10, libgmpxx4ldbl (>= 2:6.2.1+dfsg), libstdc++6 (>= 9)
Suggests: python3 (>= 3.6)
Description: model checker for the Murphi language
Description-md5: 40129f0478a9f84f22c5aaa201b1917a
Homepage: https://github.com/Smattr/rumur
Section: devel
Priority: optional
Filename: pool/main/r/rumur/rumur_2020.12.20-1_amd64.deb
Size: 859504
MD5sum: ca90f4a752b441a3f6fe173b4983f40b
SHA256: 093249c030b44f2512a39a32c3a58e7d2da8f7e997c70c3fa3eba43dc8dd20dc