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