Package: mona
Priority: optional
Section: universe/misc
Installed-Size: 1296
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
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