Package: libladr-dev Priority: optional Section: universe/libdevel Installed-Size: 1309 Maintainer: Ubuntu Developers Original-Maintainer: Debian QA Group Architecture: i386 Source: ladr Version: 0.0.200911a-2.1 Depends: libladr4 (= 0.0.200911a-2.1) Filename: pool/universe/l/ladr/libladr-dev_0.0.200911a-2.1_i386.deb Size: 262290 MD5sum: c56e659e53e4c917f1359e78b018adb9 SHA1: 3c85443d05f2ed36c96d26a74fc83c59b0c26540 SHA256: e2174167a40b6f789e9b56c929a7f09e28da70cbafb50a2b6fbdb68e314bd4c9 Description: the LADR deduction library, development files Multi-Arch: same Homepage: http://www.cs.unm.edu/~mccune/mace4/ Description-md5: 417a6343e536b64bad9bd10fd9014480 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu