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

Format: 3.0 (quilt)
Source: ladr
Binary: libladr-dev, libladr4, prover9, ladr4-apps
Architecture: any
Version: 0.0.200911a-2
Maintainer: Debian QA Group <packages@qa.debian.org>
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Standards-Version: 3.9.4
Vcs-Bzr: nosmart+http://bzr.debian.org/collab-maint/ladr/unstable/
Build-Depends: debhelper (>= 7.0.50~), libtool
Package-List: 
 ladr4-apps deb math optional
 libladr-dev deb libdevel optional
 libladr4 deb libs optional
 prover9 deb math optional
Checksums-Sha1: 
 0b30a80f36512c0958b0e77ce18d0d8056e33bb1 1795750 ladr_0.0.200911a.orig.tar.gz
 cf659ce558396402a0a1547c9cfdb83271c9be53 22524 ladr_0.0.200911a-2.debian.tar.gz
Checksums-Sha256: 
 c32bed5807000c0b7161c276e50d9ca0af0cb248df2c1affb2f6fc02471b51d0 1795750 ladr_0.0.200911a.orig.tar.gz
 55571d1ae8c3ef0203d833679952db79848b4e2147e6ead319a3d872988cad93 22524 ladr_0.0.200911a-2.debian.tar.gz
Files: 
 ab409f31ecbb4410b1c7d75deadea2c6 1795750 ladr_0.0.200911a.orig.tar.gz
 28aa28cccb09ca74b8d92f249b478886 22524 ladr_0.0.200911a-2.debian.tar.gz

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

iEYEARECAAYFAlGgjI4ACgkQQbn06FtxPfAb7ACgnQzyTU8U91rGe1fBYvAvmb9f
jYIAoNP5tySzgCzU9pl+z+WyeHEOYTxZ
=21ce
-----END PGP SIGNATURE-----