Package: mona Architecture: i386 Version: 1.4-17-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: 1220 Depends: libc6 (>= 2.7), libgcc1 (>= 1:3.0), libstdc++6 (>= 4.2.1) Recommends: graphviz Filename: pool/universe/m/mona/mona_1.4-17-1_i386.deb Size: 395288 MD5sum: eeb68cd3b4771a0f117511585046c211 SHA1: 244c59593723aee1d5f38ec3bb21df9377274372 SHA256: e1a239cc0bd7cda70ab0a8eca6a0f40d1dd1686b156e277c9400c98148e81dff Homepage: http://www.brics.dk/~amoeller/mona/index.html Description: theorem prover based on automata Description-md5: 2fcd097fb45a3451958acd496a75b3eb