How to Install and Uninstall mcrl2 Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: May 15,2024

1. Install "mcrl2" package

In this section, we are going to explain the necessary steps to install mcrl2 on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                mcrl2
            
                    
    
    Copied

2. Uninstall "mcrl2" package

Learn how to uninstall mcrl2 on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                mcrl2
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the mcrl2 package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: mcrl2
Priority: extra
Section: universe/math
Installed-Size: 45098
Maintainer: Ubuntu Developers
Original-Maintainer: Sjoerd Cranen
Architecture: amd64
Version: 201409.0-1ubuntu1
Depends: libc6 (>= 2.14), libgcc1 (>= 1:4.1.1), libgl1-mesa-glx | libgl1, libgl2ps0, 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 (>= 4.9)
Filename: pool/universe/m/mcrl2/mcrl2_201409.0-1ubuntu1_amd64.deb
Size: 7987954
MD5sum: 8102e8f239a04f665466fc8894958b31
SHA1: 732b2cef40e4b115d560428b08d5c45286f56547
SHA256: b9ac9957c5586d9ca9b6378f921c15f9a8a08671f54b76089f545b679be479d6
Description-en: formal specification language toolset
mCRL2 stands for micro Common Representation Language 2. It is a
specification language that can be used to specify and analyse the
behaviour of distributed systems and protocols and is the successor to
muCRL. Using its accompanying toolset, systems can be analysed and
verified automatically.
.
This toolset supports a collection of tools for linearisation, simulation,
state-space exploration and generation and tools to optimise and analyse
specifications. Moreover, state spaces can be manipulated, visualised and
analysed.
Description-md5: 99d513240b8f673eda7117700a2c594f
Homepage: http://www.mcrl2.org/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu