Package: ladr4-apps Priority: optional Section: universe/math Installed-Size: 926 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.1 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.1_amd64.deb Size: 128600 MD5sum: f64bda3a3b514e6bb89e26335e8dcc1f SHA1: c143174f553ae5ab0fab160e7ff9bb7a0bec75be SHA256: 3158521a7c30e7d1da730a90d9b4446f87b656ea954702b7e3a7bb1a99a18bed 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