-----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.1
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, libtool-bin
Package-List:
 ladr4-apps deb math optional arch=any
 libladr-dev deb libdevel optional arch=any
 libladr4 deb libs optional arch=any
 prover9 deb math optional arch=any
Checksums-Sha1:
 0b30a80f36512c0958b0e77ce18d0d8056e33bb1 1795750 ladr_0.0.200911a.orig.tar.gz
 40a6c0502b2e1104a3bf7dd1f146283238d36276 19388 ladr_0.0.200911a-2.1.debian.tar.xz
Checksums-Sha256:
 c32bed5807000c0b7161c276e50d9ca0af0cb248df2c1affb2f6fc02471b51d0 1795750 ladr_0.0.200911a.orig.tar.gz
 000d2791796f1dabcfb366f284760bb59d4d66b10c8dd81cc0e1c307ef129694 19388 ladr_0.0.200911a-2.1.debian.tar.xz
Files:
 ab409f31ecbb4410b1c7d75deadea2c6 1795750 ladr_0.0.200911a.orig.tar.gz
 0fbb593b779deabb43303557995d05fc 19388 ladr_0.0.200911a-2.1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iEYEARECAAYFAlQ2aAIACgkQStlRaw+TLJx39QCffzpAnRCGqhzJ1P0OC47cuD1t
hRcAoLdZkbXSiUBjLn0mVmx8SwcetXA6
=Zxio
-----END PGP SIGNATURE-----