Package: libladr-dev Source: ladr Version: 0.0.200902a-2.1 Installed-Size: 1484 Maintainer: Peter Collingbourne <peter@pcc.me.uk> Architecture: amd64 Depends: libladr4 (= 0.0.200902a-2.1) Description: the LADR deduction library, development files Homepage: http://www.cs.unm.edu/~mccune/mace4/ Description-md5: 417a6343e536b64bad9bd10fd9014480 Tag: devel::library, role::devel-lib Section: libdevel Priority: optional Filename: pool/main/l/ladr/libladr-dev_0.0.200902a-2.1_amd64.deb Size: 407778 MD5sum: 6e05b32817631c5063ab11aad6cb7bac SHA1: 9e2c9dc0afad12ed41ae8fe69a68df6751dcb29d SHA256: 70d906eeed8bacc175f737ac05a027d70c2fac6042ea458b47b53d8510b83105