Package: libladr-dev
Priority: optional
Section: universe/libdevel
Installed-Size: 1257
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
Depends: libladr4 (= 0.0.200911a-2)
Filename: pool/universe/l/ladr/libladr-dev_0.0.200911a-2_i386.deb
Size: 336714
MD5sum: 2f14f1e8de35c66a0089677c40b9c6cf
SHA1: 2058a9ae981aa1a51b0c6d929b003cc25cea23bf
SHA256: 8a2798cba59263ebf07893013c058d20f476c621bf4533db53982098bb2f3f3c
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