How to Install and Uninstall rumur Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: November 25,2024

1. Install "rumur" package

Here is a brief guide to show you how to install rumur on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                rumur
            
                    
    
    Copied

2. Uninstall "rumur" package

This guide covers the steps necessary to uninstall rumur on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                rumur
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the rumur package on Ubuntu 23.10 (Mantic Minotaur)

Package: rumur
Architecture: amd64
Version: 2023.05.21-1
Priority: optional
Section: universe/devel
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Matthew Fernandez
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 6210
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libgmp10 (>= 2:6.2.1+dfsg1), libgmpxx4ldbl (>= 2:6.2.1+dfsg1), libstdc++6 (>= 13.1)
Suggests: python3
Filename: pool/universe/r/rumur/rumur_2023.05.21-1_amd64.deb
Size: 1048986
MD5sum: 8cc606ca0a7426bab90cfc6e4f291505
SHA1: 5260720b1c375c413edb8ae7de9cdf7c854e2cf5
SHA256: 7742511e104e69e517ae003351fae6799ca0d912113b63cac1c0045de8276fdb
SHA512: b25d8448489e8140a400bcc38e2f233d0d056c0505e47519f97825fdd243e7132a7075dec664b24c7732dcceea61dc6689411ab74359b78fb484ff6a09145555
Homepage: https://github.com/Smattr/rumur
Description: model checker for the Murphi language
Description-md5: 40129f0478a9f84f22c5aaa201b1917a