Package: libladr4 Architecture: amd64 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: 505 Depends: libc6 (>= 2.11) Filename: pool/universe/l/ladr/libladr4_0.0.200911a-2.1build1_amd64.deb Size: 167632 MD5sum: 7ccf0e9e6743346f1dbad77d4f2a081f SHA1: a2f65c7f1c44bafae87e019e15ea27b7d8f9b9b5 SHA256: 7272e339bf386c9127db3005c2a16b63be38f54d6d912de28dce46ec4e99586c Homepage: http://www.cs.unm.edu/~mccune/mace4/ Description: the LADR deduction library Description-md5: db21ac657e20aab0a1bdc5cbf768a123