Package: libladr4
Architecture: i386
Version: 0.0.200911a-2.1build1
Priority: optional
Section: universe/libs
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: 557
Depends: libc6 (>= 2.11)
Filename: pool/universe/l/ladr/libladr4_0.0.200911a-2.1build1_i386.deb
Size: 189108
MD5sum: 10127a8d25412f0652972730d89d9e29
SHA1: 00679aa7a84b4ff00f3f5edde4f2f2694efb9873
SHA256: 671f3907f2a359bece4e8616c423d86a755ac1a005939f0b3303e43aa7450354
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Description: the LADR deduction library
Description-md5: db21ac657e20aab0a1bdc5cbf768a123