How to Install and Uninstall mcrl2 Package on Debian 10 (Buster)

Last updated: November 26,2024

1. Install "mcrl2" package

This guide covers the steps necessary to install mcrl2 on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                mcrl2
            
                    
    
    Copied

2. Uninstall "mcrl2" package

Please follow the steps below to uninstall mcrl2 on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                mcrl2
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the mcrl2 package on Debian 10 (Buster)

Package: mcrl2
Source: mcrl2 (201409.0-1)
Version: 201409.0-1+b2
Installed-Size: 41872
Maintainer: Sjoerd Cranen
Architecture: amd64
Depends: libc6 (>= 2.14), libgcc1 (>= 1:3.4), 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)
Description: formal specification language toolset
Description-md5: 99d513240b8f673eda7117700a2c594f
Homepage: http://www.mcrl2.org/
Tag: uitoolkit::qt, uitoolkit::wxwidgets
Section: math
Priority: optional
Filename: pool/main/m/mcrl2/mcrl2_201409.0-1+b2_amd64.deb
Size: 7477784
MD5sum: e4cfb934d141e2c8ff6362c1bd49a13c
SHA256: 42a58503a008f4486962a3175e01b11ca28f9f8984b29ff39bd5d6b882e941b8