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

Format: 3.0 (quilt)
Source: acl2
Binary: acl2, acl2-source, elpa-acl2, acl2-infix, acl2-infix-source, acl2-books, acl2-books-source, acl2-books-certs, acl2-doc
Architecture: any all
Version: 8.4dfsg-2
Maintainer: Camm Maguire <camm@debian.org>
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Standards-Version: 4.5.1
Build-Depends: debhelper-compat (= 13), gcl (>= 2.6.12-92), debhelper (>= 13), texlive-latex-recommended, time, tex-common, texinfo
Build-Depends-Indep: dh-elpa
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-infix deb math optional arch=any
 acl2-infix-source deb math optional arch=all
 acl2-source deb math optional arch=all
 elpa-acl2 deb lisp optional arch=all
Checksums-Sha1:
 3ed1bb68d42627e2b7e9a87d914800d9231cb122 202991839 acl2_8.4dfsg.orig.tar.gz
 2d42727a484694313275ebb6ea8279617f333afe 311628 acl2_8.4dfsg-2.debian.tar.xz
Checksums-Sha256:
 1781eda71a71e856266bed96db6f92fedf465f3ca2ea83712b9bbba81ceb04b8 202991839 acl2_8.4dfsg.orig.tar.gz
 80e2f616fc80e92ae0d7951c860b154951293d8405e8640e91232b79c6846446 311628 acl2_8.4dfsg-2.debian.tar.xz
Files:
 9468f59a924c337f622d95d7ee3d4b71 202991839 acl2_8.4dfsg.orig.tar.gz
 4dc20f6bdfde3d03f640de1a0aa08d11 311628 acl2_8.4dfsg-2.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmF8FVcACgkQuEXOUQ+b
cU2UsQ//eDU/uMFQY5mNIMMjV9m5A0y1r4c1/uKeaLcl2H6lpqJDlESlL4229oh5
f+SmAND3aQA8AI6cLiRrnnQjVI0psut53vsea/7WqZ8r7LXSQ8DWmdqtIGtnB20R
p+7x2vNFcBgM2pPESg/x0unrkd91cuRR6QC4LakC9dDCmIwucIjRmia7xjz5zXnm
CaIdSMgZP6Jf6pUihTIQvV5A5zbc70QGVbPXdtVHamIcZUppJFjHDSOYRIBBDzVg
ysIayIRwGEgNjz0mwLyGTyhJsUxi52zsTDQDLPMsLPwlWv8dxjx9M+k56HniGV4L
BPCY8JUgJresbFGIyzr3q0NbJ66F5bQ4VHqPdM4zKrK/6LQGfs/mv8wqZ/pES2BP
yGyQ/KdFuG7BnzrEjhQIxqd2or9qi3emgiYe7Pnxleo8o4g+lZ0uBKoHvT86zDmM
juXm4mnu/WVAyQZ1ksixRV/00dnFywclnN6EMNHW2WDcEgwyhnaBxIZSnsXYVwId
YZxTVsoSxQi5WqvuPa53lsBZa2fda83kgt9+h1ZTM0pN+XOXVHu3EYoQ08F8zbLd
dAXqRMB2JgB9uwsG2bu4uIdjrHhaNB/afxNzhDZ0gfPpyAOrxq2wjr+ILLmdSQ9M
aLed4ENfn4RKWN4doHgKN+28JuTOAoDntkYT0NJa0EJO657hw6M=
=w27X
-----END PGP SIGNATURE-----