-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.0
Source: ladr
Binary: libladr-dev, libladr4, prover9, ladr4-apps
Architecture: any
Version: 0.0.200902a-2
Maintainer: Peter Collingbourne <peter@pcc.me.uk>
Dm-Upload-Allowed: yes
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
Checksums-Sha1: 
 2ce0122f363ff3355bd9a359ec3d183923c2fd41 1970966 ladr_0.0.200902a.orig.tar.gz
 01e970c80e5fb96763a0150901701cb6f4effa7b 17239 ladr_0.0.200902a-2.diff.gz
Checksums-Sha256: 
 3043a93f8339928bf4d839b92c7dc204011cc3d9e7adc719a23da8262c2bb95a 1970966 ladr_0.0.200902a.orig.tar.gz
 db7426412cb21e718e8f46fe46d47c2ded747dac4a6da51183a4477a212ebc0a 17239 ladr_0.0.200902a-2.diff.gz
Files: 
 f37a5304737ea2b14caf90d0a784964e 1970966 ladr_0.0.200902a.orig.tar.gz
 5a780276344a55e8396a799a56b8fe93 17239 ladr_0.0.200902a-2.diff.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iEYEARECAAYFAkn91BEACgkQXDqn6DSH7HH7jQCgiyV7FO0VAU3H+5exg8gi/9SM
qlAAn2hJasSp2YvsiBBum1/ZklFTtuGO
=8Mrs
-----END PGP SIGNATURE-----