How to Install and Uninstall rumur Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: May 15,2024

1. Install "rumur" package

Please follow the step by step instructions below to install rumur on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                rumur
            
                    
    
    Copied

2. Uninstall "rumur" package

Here is a brief guide to show you how to uninstall rumur on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                rumur
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the rumur package on Ubuntu 24.04 LTS (Noble Numbat)

Package: rumur
Architecture: amd64
Version: 2023.11.27-1
Priority: optional
Section: universe/devel
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Matthew Fernandez
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 6213
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libgmp10 (>= 2:6.3.0+dfsg), libgmpxx4ldbl (>= 2:6.3.0+dfsg), libstdc++6 (>= 13.1)
Suggests: python3
Filename: pool/universe/r/rumur/rumur_2023.11.27-1_amd64.deb
Size: 1050106
MD5sum: 329a892183376a94311b399870db9ad8
SHA1: 387c2e820ecb708f72460efd74aced7d0c6bd57b
SHA256: 824ab74db34ba01535ee030e197b435cb8f4a76b071f18dadb45fecd651f444f
SHA512: f4b88093ef5903a25a4060bf5a82dc6feb72592b523e0b7cf3b1c43aaa9291c348d3a8d0931352aa271d7210755bbbaa675308ea067f8680e1a4ff4570a2954d
Homepage: https://github.com/Smattr/rumur
Description: model checker for the Murphi language
Description-md5: 40129f0478a9f84f22c5aaa201b1917a