Package: prover9
Architecture: i386
Version: 0.0.200911a-2.1build1
Priority: optional
Section: universe/math
Source: ladr
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian QA Group <packages@qa.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 283
Depends: libc6 (>= 2.11), libladr4 (>= 0.0.200911a-1)
Suggests: ladr4-apps (= 0.0.200911a-2.1build1), prover9-doc (>> 0.0.200902a), prover9-doc (<< 0.0.200902b)
Filename: pool/universe/l/ladr/prover9_0.0.200911a-2.1build1_i386.deb
Size: 85372
MD5sum: 0ec9e0ed58a7e6bb8fa0937d353549f0
SHA1: 2067cc0d2a8b9f716494d411af81c737ea386686
SHA256: 6fc3d28b21575801079607ea9521677691dfdd767b3e7f6d06c1fe43cce60295
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Description: theorem prover and countermodel generator
Description-md5: c442e7a696a012e3623fe548e18e8471