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

Format: 1.0
Source: ladr
Binary: libladr-dev, libladr4, prover9, ladr4-apps
Architecture: any
Version: 0.0.200806a-1
Maintainer: Peter Collingbourne <pcc03@doc.ic.ac.uk>
Dm-Upload-Allowed: yes
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Standards-Version: 3.8.0
Vcs-Bzr: http://bzr.debian.org/collab-maint/ladr/unstable/
Build-Depends: debhelper (>= 5), libtool, dpatch
Checksums-Sha1: 
 816461550645c9e38db833fc08418fd06628eb83 1677889 ladr_0.0.200806a.orig.tar.gz
 056c14cda0d009f1cdc787c23d04dee29b3a4a66 20710 ladr_0.0.200806a-1.diff.gz
Checksums-Sha256: 
 ecec73862c1cf50dbde969d41dabf427535517db80dff8f99e0383f05355c0a7 1677889 ladr_0.0.200806a.orig.tar.gz
 ed9768220de7a9067b5660d898b68af35e94d31bc0861b5a73332828e17ba1bf 20710 ladr_0.0.200806a-1.diff.gz
Files: 
 1716243e9b89a6e19a152db25eca01a7 1677889 ladr_0.0.200806a.orig.tar.gz
 b05e9183041730be13e9968829232ac9 20710 ladr_0.0.200806a-1.diff.gz

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

iD8DBQFIaAbFXDqn6DSH7HERAiyHAJ9aADPCn8RKeASO5yopA4qQi+lYkwCg3XhC
pOdlk6jKkeczXjMv4lM8KBg=
=WKHq
-----END PGP SIGNATURE-----