Format: 1.0
Source: ladr
Binary: libladr-dev, libladr4, prover9, ladr4-apps
Architecture: any
Version: 0.0.200902a-2.5.201411011646
Maintainer: Peter Collingbourne <peter@pcc.me.uk>
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Standards-Version: 3.8.1
Vcs-Bzr: nosmart+http://bzr.debian.org/collab-maint/ladr/unstable/
Build-Depends: debhelper (>= 5), libtool, dpatch
Package-List: 
 ladr4-apps deb math optional
 libladr-dev deb libdevel optional
 libladr4 deb libs optional
 prover9 deb math optional
Checksums-Sha1: 
 2ce0122f363ff3355bd9a359ec3d183923c2fd41 1970966 ladr_0.0.200902a.orig.tar.gz
 67950dfa07ca67bcb8b6ecfa073485ed7ff9f618 17997 ladr_0.0.200902a-2.5.201411011646.diff.gz
Checksums-Sha256: 
 3043a93f8339928bf4d839b92c7dc204011cc3d9e7adc719a23da8262c2bb95a 1970966 ladr_0.0.200902a.orig.tar.gz
 917d9284f82a508d0cea878fef48ce023886e4d84ecf427f70ab6f91cf3111b1 17997 ladr_0.0.200902a-2.5.201411011646.diff.gz
Files: 
 f37a5304737ea2b14caf90d0a784964e 1970966 ladr_0.0.200902a.orig.tar.gz
 131b53a86bb9bcdb3b56b5c1c455c2bd 17997 ladr_0.0.200902a-2.5.201411011646.diff.gz