-----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: 8.2dfsg-3build1
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 4.4.1
Build-Depends: gcl (>= 2.6.12-92), libgmp3-dev, libreadline-dev, emacs-gtk | 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:
 148b86468f6494a82d9d040b6d91fed1a5666220 80652725 acl2_8.2dfsg.orig.tar.gz
 10bfb86d01b1ed55d38d2c8cdd00ce8e6dc74c93 206024 acl2_8.2dfsg-3build1.debian.tar.xz
Checksums-Sha256:
 2548331764e904e00d654b5d703b6e0b43992a1716a40fd8f5ac322052cef987 80652725 acl2_8.2dfsg.orig.tar.gz
 6d368a69d31d7d09df4adfeec8decb4515bdea662086b945da0a35ef73a685aa 206024 acl2_8.2dfsg-3build1.debian.tar.xz
Files:
 4bd6052c4c4ce3a7cafff83413c7049c 80652725 acl2_8.2dfsg.orig.tar.gz
 2fed8e446481ec9ab14020674ea26e9d 206024 acl2_8.2dfsg-3build1.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl54WggQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9Y3WEACVqRGEOFjDuWW6aC111kPnA77pryceW3bR
tBoIUH1uk5LS+HyiPvSSCVQmg4dh35Imk21wyxMx7I3TDFPBuoSFKYjoUGQMGw2n
vTDaHn1+IO07iRXfKgrXXLYcd5vZhf4+7L6hOoTnVkopVxRdUKb/IaOAhrGUNeE9
ENFBYaHLdsZvS837AgLngqeJrU6ms3PBb/NJq8EMolrrzjpArReN4ZalKpTkUyAf
OLsEJP/1onxpR5keFjiwKa/Qud7anBLFH1H+PNxw8HM7re7Ovoy/z+oEw7fWcWr3
kAWssL8iqqlPOuYwyVSMBwKhQnJP9nIwO90Imr54FSQ+umacZYU/8DgGH5vj+v1D
xdVIpO6tpl8+EPE11ilUEpGKQAWCkwndrPy584LEzDmYiEJ6lvdT0WKIKwdgNme8
o0N74pcmLLhRAMeocIc0iEiLn4+Mzg4pwM3uRsIp0weXL0RgHhCq30eLN7vhYFvS
e6ieWurhFUmAVjwMJLVMwt7MJfCC3IV3OK8Eqj5+ALRkfPk843OlsUvIjxuBYaFa
eQA2KaK0zKNzlO1h02UHJgH3fWs7quoyNLqA0XMIPu2+7qgSfceUwor+wNKrmkBe
Mweo23fWBLxu0mYhr9OSq1drqF1oVcyQw6zaihkNtaWyiCk5qfF5yBbKXO3FGKl3
ABa8NM+3Mw==
=PBF6
-----END PGP SIGNATURE-----