Package: mona
Architecture: amd64
Version: 1.4-18-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: 1389
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 11)
Recommends: graphviz
Filename: pool/universe/m/mona/mona_1.4-18-1_amd64.deb
Size: 354160
MD5sum: f1139eb6c5e793d5b401926f013f39f5
SHA1: 468f3899ba8868b03157c96b12aeba54f9b07a8b
SHA256: a86508069ada124a6fc0404a27cdb02ac66f5dff78739e9e57fcf4ba4061982d
SHA512: aa26ab59739c410b88b7f79448b007cc38fd2bd1026c100bc9901e4906f781172385cc6487f60392e66b8c99742d91bba7960211f2d9caef2a82c620bbeac38a
Homepage: https://www.brics.dk/mona/
Description: theorem prover based on automata
Description-md5: 2fcd097fb45a3451958acd496a75b3eb