How to Install and Uninstall rumur Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: December 29,2024

1. Install "rumur" package

In this section, we are going to explain the necessary steps to install rumur on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                rumur
            
                    
    
    Copied

2. Uninstall "rumur" package

Please follow the instructions below to uninstall rumur on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                rumur
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the rumur package on Ubuntu 22.10 (Kinetic Kudu)

Package: rumur
Architecture: amd64
Version: 2022.08.20-1
Priority: optional
Section: universe/devel
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Matthew Fernandez
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 6243
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libgmp10 (>= 2:6.2.1+dfsg), libgmpxx4ldbl (>= 2:6.2.1+dfsg), libstdc++6 (>= 11)
Suggests: python3
Filename: pool/universe/r/rumur/rumur_2022.08.20-1_amd64.deb
Size: 1067740
MD5sum: b97c92ae48b15872a32a23ccac419109
SHA1: db2978bbabdff8f2cb8af0fd0fae227e0f0d92f7
SHA256: 21640d68d3e88bec72c56caec9e4f8a1c0f936bc24812b2ec5d8d2216b05af05
SHA512: 50fd0fca6d6b6d9e735013c7fb3656e8d1fa5776f15221aa5d29b814d62b6c9465b276014701ef4b13af196b9ac70d24e7e22fa87992ce09538b2d1ad43c4e28
Homepage: https://github.com/Smattr/rumur
Description: model checker for the Murphi language
Description-md5: 40129f0478a9f84f22c5aaa201b1917a