Package: ladr4-apps
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: 996
Depends: libc6 (>= 2.11), libladr4 (>= 0.0.200902a), python
Recommends: prover9-doc (>> 0.0.200902a), prover9-doc (<< 0.0.200902b)
Filename: pool/universe/l/ladr/ladr4-apps_0.0.200911a-2.1build1_i386.deb
Size: 134004
MD5sum: 905dca0c07f111e9f996a0d419bf01ba
SHA1: 1f16d58dea8fbfd3718fa162d0304f6f072cbaa7
SHA256: c35d94cb7aeaaf3234735c2f2cd29be9d3d6964cded6c2466614ca546ef3a785
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Description: the LADR deduction library, miscellaneous applications
Description-md5: ce715083ec65b9f70befbb37125c836f