Package: libladr-dev Priority: optional Section: universe/libdevel Installed-Size: 1856 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: libladr4 (= 0.0.200902a-2) Filename: pool/universe/l/ladr/libladr-dev_0.0.200902a-2_amd64.deb Size: 405196 MD5sum: 9484b90fa50c243854db13d2b57d8707 SHA1: c23ef0d18f447a9eed9349902ab957af4195846e SHA256: 7064ee8cdcc4645a9349454ea588b560428db93563fd1f00d4b6da565be26f55 Description: the LADR deduction library, development files Homepage: http://www.cs.unm.edu/~mccune/mace4/ Description-md5: 417a6343e536b64bad9bd10fd9014480 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu