Package: libladr4 Architecture: i386 Version: 0.0.200911a-2.1build1 Priority: optional Section: universe/libs Source: ladr Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Debian QA Group 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