Package: prover9 Priority: optional Section: universe/math Installed-Size: 298 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 Depends: libc6 (>= 2.11), libladr4 (>= 0.0.200911a-1) Suggests: ladr4-apps (= 0.0.200911a-2), prover9-doc (>> 0.0.200902a), prover9-doc (<< 0.0.200902b) Filename: pool/universe/l/ladr/prover9_0.0.200911a-2_amd64.deb Size: 97956 MD5sum: 099c2604e5230e2baae79f8888b8c4c0 SHA1: 6daa2b064b7346308ab65208ffea6a157b0d590e SHA256: bfd51ccae5ea786ec6748b68405b60395a9b8b78206d273c72d8127ec34e60ba 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