How to Install and Uninstall mona Package on Linux Mint 21 (Vanessa)

Last updated: May 09,2024

1. Install "mona" package

Please follow the steps below to install mona on Linux Mint 21 (Vanessa)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                mona
            
                    
    
    Copied

2. Uninstall "mona" package

In this section, we are going to explain the necessary steps to uninstall mona on Linux Mint 21 (Vanessa):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                mona
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the mona package on Linux Mint 21 (Vanessa)

Package: mona
Architecture: amd64
Version: 1.4-18-1
Priority: optional
Section: universe/misc
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1389
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 11)
Recommends: graphviz
Filename: pool/universe/m/mona/mona_1.4-18-1_amd64.deb
Size: 354160
MD5sum: f1139eb6c5e793d5b401926f013f39f5
SHA1: 468f3899ba8868b03157c96b12aeba54f9b07a8b
SHA256: a86508069ada124a6fc0404a27cdb02ac66f5dff78739e9e57fcf4ba4061982d
SHA512: aa26ab59739c410b88b7f79448b007cc38fd2bd1026c100bc9901e4906f781172385cc6487f60392e66b8c99742d91bba7960211f2d9caef2a82c620bbeac38a
Homepage: https://www.brics.dk/mona/
Description: theorem prover based on automata
Description-md5: 2fcd097fb45a3451958acd496a75b3eb