How to Install and Uninstall mcrl2 Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: May 16,2024

1. Install "mcrl2" package

Please follow the guidelines below to install mcrl2 on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                mcrl2
            
                    
    
    Copied

2. Uninstall "mcrl2" package

Please follow the step by step instructions below to uninstall mcrl2 on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                mcrl2
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the mcrl2 package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: mcrl2
Architecture: amd64
Version: 201409.0-1ubuntu3
Priority: extra
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Sjoerd Cranen
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 42561
Depends: libc6 (>= 2.14), libgcc1 (>= 1:3.4), libgl1-mesa-glx | libgl1, libgl2ps1.4, libglu1-mesa | libglu1, libqt4-opengl (>= 4:4.5.3), libqt4-xml (>= 4:4.5.3), libqtcore4 (>= 4:4.8.0), libqtgui4 (>= 4:4.8.0), libstdc++6 (>= 5.2)
Filename: pool/universe/m/mcrl2/mcrl2_201409.0-1ubuntu3_amd64.deb
Size: 7543524
MD5sum: 1098fbf61ec0cc65231667290532357e
SHA1: a25f045859f040740efba6a7a5e44c5b38a7f0a3
SHA256: 7137401f9b9b3a9a9f9afc1b5f34839de74f9b2cd277759e8bfb6ba22f044b9b
Homepage: http://www.mcrl2.org/
Description: formal specification language toolset
Description-md5: 99d513240b8f673eda7117700a2c594f