Package: ladr4-apps Priority: optional Section: universe/math Installed-Size: 921 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.200902a), python Recommends: prover9-doc (>> 0.0.200902a), prover9-doc (<< 0.0.200902b) Filename: pool/universe/l/ladr/ladr4-apps_0.0.200911a-2_amd64.deb Size: 321870 MD5sum: d353e2c09144743d8ea5db0b5e317e00 SHA1: 9abc346de40b54ba201c5443481b49eaf1d56606 SHA256: 7659ab08b64d2e10e19a31a9e7a3f707b0f19fd1ff7f2ea56d25e4d4f245c927 Description: the LADR deduction library, miscellaneous applications Homepage: http://www.cs.unm.edu/~mccune/mace4/ Description-md5: ce715083ec65b9f70befbb37125c836f Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu