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 Original-Maintainer: Debian QA Group 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