Package: libladr-dev
Architecture: i386
Version: 0.0.200911a-2.1build1
Multi-Arch: same
Priority: optional
Section: universe/libdevel
Source: ladr
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian QA Group <packages@qa.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1467
Depends: libladr4 (= 0.0.200911a-2.1build1)
Filename: pool/universe/l/ladr/libladr-dev_0.0.200911a-2.1build1_i386.deb
Size: 287308
MD5sum: ae24f167085e4d08ee1d779de474e87e
SHA1: 66418010ef3c595ff90a49ec83cabd0be7b40419
SHA256: 40b82705975a952a992769acb5683957874541f85364e4bf84c15791e7c2d471
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Description: the LADR deduction library, development files
Description-md5: 417a6343e536b64bad9bd10fd9014480