Package: mona
Priority: optional
Section: universe/misc
Installed-Size: 1408
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 1.4-18-1build1
Recommends: graphviz
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 14)
Filename: pool/universe/m/mona/mona_1.4-18-1build1_amd64.deb
Size: 352762
MD5sum: 112233532f00707a1c138484c7bf983b
SHA1: 052bb47d601e129d446ae1b64ac244dddea47813
SHA256: 931c462cfcda5a8c7e3738c51e80ec0b2bc6645d0ca368e0e5d3ffdc4b89087e
SHA512: 7c139aef8361c2b1cbdc1ca7b3d5922e206b4c3c3e7ca8261356e5bcff04c8447aec3ea38b294f4b5915acfd0f79541681426535c8ed143562709d888c167ba4
Homepage: https://www.brics.dk/mona/
Description: theorem prover based on automata
Description-md5: 2fcd097fb45a3451958acd496a75b3eb
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug