How to Install and Uninstall mona Package on Ubuntu 22.04 LTS (Jammy Jellyfish)
Last updated: December 23,2024
Notice
You can also install and uninstall the mona on the following distributions in the same way, as they are all based on the Ubuntu system
- Kubuntu 22.04 LTS
- Lubuntu 22.04 LTS
- Xubuntu 22.04 LTS
- Ubuntu MATE 22.04 LTS
- Ubuntu Studio 22.04 LTS
- Pop!_OS 22.04 LTS
- Zorin OS 16 / Zorin OS 17
- Ubuntu Budgie 22.04
1. Install "mona" package
Please follow the step by step instructions below to install mona on Ubuntu 22.04 LTS (Jammy Jellyfish)
$
sudo apt update
Copied
$
sudo apt install
mona
Copied
2. Uninstall "mona" package
Here is a brief guide to show you how to uninstall mona on Ubuntu 22.04 LTS (Jammy Jellyfish):
$
sudo apt remove
mona
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the mona package on Ubuntu 22.04 LTS (Jammy Jellyfish)
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
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