Package: ladr4-apps
Priority: optional
Section: universe/math
Installed-Size: 915
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian QA Group <packages@qa.debian.org>
Architecture: i386
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_i386.deb
Size: 120092
MD5sum: 0be1ce27c576d450b116a16d8c0752d0
SHA1: 38739b90968efd0b14bb1c73adbd50afbe08d98a
SHA256: 89ee897f3fe81ee1b328558f452fa775b939cee5e3c2820625ab00145f45a383
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