How to Install and Uninstall rumur Package on Linux Mint 20.3 (Una)

Last updated: November 22,2024

1. Install "rumur" package

Please follow the step by step instructions below to install rumur on Linux Mint 20.3 (Una)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                rumur
            
                    
    
    Copied

2. Uninstall "rumur" package

Please follow the guidance below to uninstall rumur on Linux Mint 20.3 (Una):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                rumur
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the rumur package on Linux Mint 20.3 (Una)

Package: rumur
Architecture: amd64
Version: 2020.02.17-1
Priority: optional
Section: universe/devel
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Matthew Fernandez
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 3901
Depends: libc6 (>= 2.15), libgcc-s1 (>= 3.0), libgmp10, libgmpxx4ldbl, libstdc++6 (>= 9)
Suggests: python3 (>= 3.6)
Filename: pool/universe/r/rumur/rumur_2020.02.17-1_amd64.deb
Size: 576648
MD5sum: 53d643cb655bd1af198abfd348a5e84f
SHA1: aaa76b130abdcc334e04d96c0f2e357350d6e099
SHA256: ae0423f6e2b3d1a8251520362e04da544346829a12c0745b0bc1103a8d2548c2
Homepage: https://github.com/Smattr/rumur
Description: model checker for the Murphi language
Description-md5: 40129f0478a9f84f22c5aaa201b1917a