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