Package: libladr-dev Architecture: amd64 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: 1574 Depends: libladr4 (= 0.0.200911a-2.1build1) Filename: pool/universe/l/ladr/libladr-dev_0.0.200911a-2.1build1_amd64.deb Size: 261924 MD5sum: 0687e0e5ae4a9383dd80ac4b0dd8c054 SHA1: 1c12df59b6ad1c81911604180bdbf5b5be9a7e29 SHA256: 5c619a88f4d79d1d509f4a55c804a58700390e6cc9363aa2fbd8fc8ed4e5cf8a Homepage: http://www.cs.unm.edu/~mccune/mace4/ Description: the LADR deduction library, development files Description-md5: 417a6343e536b64bad9bd10fd9014480