Package: prover9 Architecture: amd64 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: 277 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_amd64.deb Size: 77772 MD5sum: 390338f03f9d732976dbd02ffffaff71 SHA1: 5a7b8389c1f5820b1cfa5eb416c9dfd48f61863f SHA256: b471c0333878718ec8178cfda7ba7dd357087d9847c6fad0abc29617067d90dd Homepage: http://www.cs.unm.edu/~mccune/mace4/ Description: theorem prover and countermodel generator Description-md5: c442e7a696a012e3623fe548e18e8471