Package: prover9 Priority: optional Section: universe/math Installed-Size: 392 Maintainer: Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com> Original-Maintainer: Peter Collingbourne <peter@pcc.me.uk> Architecture: amd64 Source: ladr Version: 0.0.200902a-2 Depends: libc6 (>= 2.4), libladr4 (>= 0.0.200902a) Suggests: ladr4-apps (= 0.0.200902a-2), prover9-doc (>> 0.0.200902a), prover9-doc (<< 0.0.200902b) Filename: pool/universe/l/ladr/prover9_0.0.200902a-2_amd64.deb Size: 128574 MD5sum: 37e80e1550e2b87ff6f241397124e86c SHA1: 5f418057e6b6f748185eb5dca5dfb32ecb1d6f0b SHA256: 1633f8d8da987c88cda71499a6ccab7fd609617b1911691e7a0bb8a45fe0c990 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