Package: mona Priority: optional Section: universe/misc Installed-Size: 1296 Maintainer: Ubuntu Developers Original-Maintainer: Debian Science Maintainers Architecture: i386 Version: 1.4-15-1.1 Depends: libc6 (>= 2.7), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.2.1) Recommends: graphviz Filename: pool/universe/m/mona/mona_1.4-15-1.1_i386.deb Size: 405436 MD5sum: b2626a55ca1e4ffab2e63d6294424b5c SHA1: 5d4f4f904b82684c18d7af908cab5dd7115280fb SHA256: 4b629f1cac9dcba9925e579139be39933ac4febee160f78d462948a424c43008 Description: theorem prover based on automata Homepage: http://www.brics.dk/~amoeller/mona/index.html Description-md5: 2fcd097fb45a3451958acd496a75b3eb Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu