Package: mona
Architecture: i386
Version: 1.4-17-1
Priority: optional
Section: universe/misc
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
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