Package: libladr-dev
Priority: optional
Section: universe/libdevel
Installed-Size: 1309
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian QA Group <packages@qa.debian.org>
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