Package: libladr-dev Priority: optional Section: universe/libdevel Installed-Size: 1493 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian QA Group <packages@qa.debian.org> Architecture: amd64 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_amd64.deb Size: 254236 MD5sum: 7c19f0015468900c92d5d3fc706b72b5 SHA1: 910fc5c6f4bc35760cdbb2121a59862ce9b3ed10 SHA256: 535917075d0e241e3e50790c8fb9c27d33dfce82f87aea1968e9e9daf32b2c07 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