Package: libladr4 Priority: optional Section: universe/libs Installed-Size: 588 Maintainer: Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com> Original-Maintainer: Peter Collingbourne <peter@pcc.me.uk> Architecture: amd64 Source: ladr Version: 0.0.200902a-2 Depends: libc6 (>= 2.4) Filename: pool/universe/l/ladr/libladr4_0.0.200902a-2_amd64.deb Size: 242276 MD5sum: 0681a3e17a0dd7f4cddeebf3456e6912 SHA1: 1e566f546644cd7ad5e298a4bce64541c74f4b9c SHA256: aa764778f6ea06283baaadc7e87ede5e0eb71f70a0b033bf0b9eebe76bb2674c Description: the LADR deduction library Homepage: http://www.cs.unm.edu/~mccune/mace4/ Description-md5: db21ac657e20aab0a1bdc5cbf768a123 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu