Package: ladr4-apps
Priority: optional
Section: universe/math
Installed-Size: 834
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
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_i386.deb
Size: 305270
MD5sum: 8d65e69d61c4b1c636b28da578fe9876
SHA1: b00ce3ac0ee586efdffa817fb9593b950c3d48ec
SHA256: a4efac9cc5df73c575c82a2a264f79ec67ffd31ae27476f8c5ee368fe3005d0f
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