How to Install and Uninstall mona Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: December 23,2024

1. Install "mona" package

Please follow the guidelines below to install mona on Ubuntu 22.10 (Kinetic Kudu)

$ sudo apt update $ sudo apt install mona

2. Uninstall "mona" package

Please follow the steps below to uninstall mona on Ubuntu 22.10 (Kinetic Kudu):

$ sudo apt remove mona $ sudo apt autoclean && sudo apt autoremove

3. Information about the mona package on Ubuntu 22.10 (Kinetic Kudu)

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