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

Format: 1.0
Source: ladr
Binary: mace4, libladr4, prover9, libladr-dev, ladr4-apps
Architecture: any
Version: 0.0.200708-1
Maintainer: Peter Collingbourne <pcc03@doc.ic.ac.uk>
Standards-Version: 3.7.2
Build-Depends: debhelper (>= 5), libtool
Files: 
 c01bbeda8ddb4ce9155c15d565b57fdb 1852919 ladr_0.0.200708.orig.tar.gz
 86f5538afbc13c4c20ca06bf92eeaa8a 9666 ladr_0.0.200708-1.diff.gz

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

iD8DBQFGwj+VXDqn6DSH7HERAvoYAKDL8dZuU/v5K8Sx7IUIoEJR8ijCYQCgkLup
5ITCmAXRBGxUMXQek03YOtw=
=1odn
-----END PGP SIGNATURE-----