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

Last updated: December 25,2024

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

MX Linux 23
SparkyLinux

1. Install "rumur" package

Here is a brief guide to show you how to install rumur on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                rumur
            
                    
    
    Copied

2. Uninstall "rumur" package

This is a short guide on how to uninstall rumur on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                rumur
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: rumur
Version: 2022.08.20-1
Installed-Size: 6618
Maintainer: Matthew Fernandez
Architecture: amd64
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.0), libgmp10 (>= 2:6.2.1+dfsg1), libgmpxx4ldbl (>= 2:6.2.1+dfsg1), libstdc++6 (>= 11)
Suggests: python3
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_2022.08.20-1_amd64.deb
Size: 966424
MD5sum: 6a18b6b31e67f00583c42c1464af0be1
SHA256: 770ae0aa6bc64bb5974114c7dd42a741f44cf3ea94c8b3c5626846cb6c477e06