How to Install and Uninstall mona Package on Debian 12 (Bookworm)

Last updated: May 17,2024

You can also install and uninstall the mona on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "mona" package

Learn how to install mona on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                mona
            
                    
    
    Copied

2. Uninstall "mona" package

Please follow the instructions below to uninstall mona on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                mona
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the mona package on Debian 12 (Bookworm)

Package: mona
Source: mona (1.4-18-1)
Version: 1.4-18-1+b1
Installed-Size: 1394
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 11)
Recommends: graphviz
Description: theorem prover based on automata
Description-md5: 2fcd097fb45a3451958acd496a75b3eb
Homepage: https://www.brics.dk/mona/
Tag: field::mathematics, role::program, scope::utility
Section: science
Priority: optional
Filename: pool/main/m/mona/mona_1.4-18-1+b1_amd64.deb
Size: 324668
MD5sum: 3e9e570072340d1e32001160a4e2bf63
SHA256: a8d0efc2e3c6583cb8b002c9f1008b15cab6d458db3699cae35b8075fcd5e4f1