-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: acl2
Binary: acl2, acl2-source, acl2-emacs, acl2-infix, acl2-infix-source, acl2-books, acl2-books-source, acl2-books-certs, acl2-doc
Architecture: any all
Version: 7.2dfsg-3
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 3.9.8
Build-Depends: gcl (>= 2.6.12-41), libgmp3-dev, libreadline-dev, emacs24 | emacsen, debhelper (>= 5), texlive-latex-recommended, libxmu-dev, libxaw7-dev, time, tex-common, texinfo
Package-List:
 acl2 deb math optional arch=any
 acl2-books deb math optional arch=any
 acl2-books-certs deb math optional arch=all
 acl2-books-source deb math optional arch=all
 acl2-doc deb doc optional arch=all
 acl2-emacs deb math optional arch=all
 acl2-infix deb math optional arch=any
 acl2-infix-source deb math optional arch=all
 acl2-source deb math optional arch=all
Checksums-Sha1:
 a2f974590abe4f4bdf9fe91f6696559c2a163090 64411749 acl2_7.2dfsg.orig.tar.gz
 3290f9fbed51dd1b2a0a7c651913d4910726a539 204172 acl2_7.2dfsg-3.debian.tar.xz
Checksums-Sha256:
 f54c3a3ee8583a121b23ea40ac18258d10e9c11e13795665c63c8cdca762655e 64411749 acl2_7.2dfsg.orig.tar.gz
 fd46faad548986062c43786c7a007fece566949f3a2f67eaafd2d909dc0a4920 204172 acl2_7.2dfsg-3.debian.tar.xz
Files:
 980a131dd4ad821b899fe2c4bbedc56d 64411749 acl2_7.2dfsg.orig.tar.gz
 bd6c1c03b67a56692ef3da6564454ca3 204172 acl2_7.2dfsg-3.debian.tar.xz

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

iQIcBAEBCAAGBQJYBOFMAAoJELhFzlEPm3FNxMYP/0vPUeOgilfHPVr6WVYlpipP
on6LWCVFOEF4U3uWGYpkD2kS8GTUMm+vaMus3ywf3nQi9jX7q5dpUdPHaPqpoHMc
EreZ9sbj6osd+OOHIYBik21XUavu1qFjPEwkSrcIjBHeMtrszm0pjVzUv+/zD3QQ
SliLfC2h6CIfa3OOTVM7Uigdh5LQOUFJ9pSCergbLdjkkb6GNOEpSGWbOtzCOVmu
MV3qISksmMBVI8vjPZks30BX9IAX7RtfvFgHv4eGZyuL5DMEEFUXNlu9aTa+YXJe
iuF8vObokA9RuO8Eed0v6q87ak7Wze7ZzgVKXyswipE8U5lVTpU9rKmn91u+gP+O
mXAX5ce4u7LZXNbfb1ZRSOsN1dsBGaTgUkVAMw9RN09hMzYRDFCeTHnxi0k8nZsM
NvLmdrLOvsJVyQyKiVoSW6ptfIUBpzDEoHPGMopHp+hhB4IOQIMWsG4INCb2fyDe
Y57zyvfi8stTq3Qdj/Zb93avkA+ZQ9/iMl9RE/W8moBfDNpzSW+L/Rb9dfs8pkfO
Q0+w4iGx2suonWBEwA7n7gTUoxMekG3Hu33W9Zvd50/Si62dX6s2G0pLJLhWOn+I
bYGYtHGO7RYxQw48MGe6N3FHrHBQUnYqzeG2I4JdIWJltMIkIxgYv6TwUr+BWlJc
qKkAr9dwU51KotPwHl1G
=5HCI
-----END PGP SIGNATURE-----