-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: ladr
Binary: libladr-dev, libladr4, prover9, ladr4-apps
Architecture: any
Version: 0.0.200911a-2.1build1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 32d90038ee7fcd8d70265110b484315bd80ec3c8 19468 ladr_0.0.200911a-2.1build1.debian.tar.xz
Checksums-Sha256:
 c32bed5807000c0b7161c276e50d9ca0af0cb248df2c1affb2f6fc02471b51d0 1795750 ladr_0.0.200911a.orig.tar.gz
 d17e32f17c3eba2e4c0cbc9e3cd38ac20f92353a5648a1795c82bd926bad9fa4 19468 ladr_0.0.200911a-2.1build1.debian.tar.xz
Files:
 ab409f31ecbb4410b1c7d75deadea2c6 1795750 ladr_0.0.200911a.orig.tar.gz
 d1dda0ac4c4ee45e816895c3b1e3f04e 19468 ladr_0.0.200911a-2.1build1.debian.tar.xz
Original-Maintainer: Debian QA Group <packages@qa.debian.org>

-----BEGIN PGP SIGNATURE-----

iQJHBAEBCgAxFiEEOXpIEO6xMwaMLot69mTSVrRpGn0FAlrDvSoTHHJiYWxpbnRA
dWJ1bnR1LmNvbQAKCRD2ZNJWtGkafRW6EACSAlqSe488plgXUDowR2Ym51mMyTFJ
tKsFSUek8kSRQs4AlU2eJ7/i+ZXBmiwOaIT1svAiBnHYDFitdhbYJsgWi8wWrEk9
MQr5wTQL6vwH6n2CUAYyoBX+T4MAbTTQprMAPcm5w64Jq0FWNoXI96IhnraSVndX
yYGjqM9KEFj8NTKaedmbMtXToVtf1ohg9To4OwqDwqYNSRNyI0ZhRD3ozcTxZNOU
pftiXJhOWCiuTiVufZ2Zpl6aXasD2jrvFOijdr6Mpejsiv8IM+I6I/sXguXwmZIJ
9pN+qlzn+HLtbSGIMpLoYaOv2k3WOZCguu7/fOwoEoxhM4QqUil+FU0XFu4S4q1G
Df7MEnKZK8V6zZtE3j7fc2Hb2RX9LgslFapTH0oNJuC4Q0GcIXX+tvTMcs5EDpiS
8TnHKdAWw1wvIneGirbFezlRKVfEX8co7t+hy8i8bv3bZZgExvTP3m8qHuXwYTBg
X8ebaH+rv1YnG4MgfkRcJOSt0QZnKJvscJXZ8rKwK7yIj3O5rHD4l0HO7s35RiFZ
B7bZtLmI9rxwWRuUxrqFlB8wASOoqPv51w5PMWkygxWovthar0obOJWI+/FFUYYo
CFjkbe04UySypNkDX+8JuRNKsazlHvb0N7lIgVrlXPt0VweB1MK8ib0VkAPyh27f
6VYwKF3/5Npi2Q==
=NoNE
-----END PGP SIGNATURE-----