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

Format: 1.0
Source: ladr
Binary: libladr-dev, libladr4, prover9, ladr4-apps
Architecture: any
Version: 0.0.200811a-1ubuntu1
Maintainer: Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
Dm-Upload-Allowed: yes
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Standards-Version: 3.8.0
Vcs-Bzr: nosmart+http://bzr.debian.org/collab-maint/ladr/unstable/
Build-Depends: debhelper (>= 5), libtool, dpatch
Checksums-Sha1: 
 48d5ca2f220f6357e1201c1e91bb1307f06f24f8 1750831 ladr_0.0.200811a.orig.tar.gz
 614157d7dfcb3dc5928e84861d2680edf5e5d0c3 17468 ladr_0.0.200811a-1ubuntu1.diff.gz
Checksums-Sha256: 
 9c2a3b60d37c29dad924c24ab23d9220c6028234a3a91e1370c0464b691bd745 1750831 ladr_0.0.200811a.orig.tar.gz
 537a7aa426db6a610104160b8de45c3b42b19314e179798d98d6bcf7a2db0cb4 17468 ladr_0.0.200811a-1ubuntu1.diff.gz
Files: 
 10dade1f81da69bc82676f532ad112fa 1750831 ladr_0.0.200811a.orig.tar.gz
 6b0190ce1bb3ab1ca7808cb056589c3d 17468 ladr_0.0.200811a-1ubuntu1.diff.gz
Original-Maintainer: Peter Collingbourne <peter@peter.uk.to>

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

iEYEARECAAYFAkmcouUACgkQPy0SnCC/zcfLHACeIoB8NtcueiW177L2hvdAFpVe
uooAoKbAY4FYWCtVAgTzNkyJwoyypvDD
=e/Qz
-----END PGP SIGNATURE-----