-----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-1
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
 70810548f72923864edf5ce37dcad1934ff4e0f7 311472 acl2_8.4dfsg-1.debian.tar.xz
Checksums-Sha256:
 1781eda71a71e856266bed96db6f92fedf465f3ca2ea83712b9bbba81ceb04b8 202991839 acl2_8.4dfsg.orig.tar.gz
 30b40a666cc3a0c51bbf28dc22e15e470feb30a062aa2c049f8027943402a6a1 311472 acl2_8.4dfsg-1.debian.tar.xz
Files:
 9468f59a924c337f622d95d7ee3d4b71 202991839 acl2_8.4dfsg.orig.tar.gz
 ac8693347d7a6b504b7821a5bb3c4bb6 311472 acl2_8.4dfsg-1.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmF634oACgkQuEXOUQ+b
cU23Yw/+LpSPv+9aEnHxo7loN2oMLO0mpqGXXPvD1I0/qxBEAJX8lIomvwZuj4ig
0UcUv1uDFAnzwPfVzRg4RWu7mAmGV2GP6ijNrQWg/oMba3WrpPsoorKDnBWghPek
ipB7l7x9l8iCmxD9mTeNnNgO4F75kvvLMwtWiFEZH3KG4JjL7ki+Mi/6kbQ1jsym
zHgpSfntDrJ/N8guc2i66LLPdBqIr+pTYQ92cmscbyC4oHMmOyFA7kq2yUUiASfv
MACEx4iyKSL6rkdLZSXwFslOYPXcAQ6yTe8MYQ4gwMYTiwUBGEx5klJjMgkMh/Fi
nO38zVHnD6yPicc835NhIYeK/TiNFDg56zxir6H9RyP+WlOIT/OhYt9NDja8JTJ7
E3V+mEZRxjCSXbuBkGP4/VDWDS26H/q7i6oObe1FK/2Rj49sEtVvTwJqmAWTspN7
0TStmHmTL4CeJ1ZvSEUpj/sFyX+m4LJI1fJe6PM9mICcW2YQlgUftetZAmAdPyaa
qGKDVhm1G0BkL7mopVmtEwflCcp8AiPPhfmxCr3QYxW0iN/exLV89QUsFIGCO796
CUKBiWlQCB73/NYGc8yn4xE7XX67RG7ioIqvTJwddcgXc5rwi2gyl4uerdqGLj6T
bbJXyOuisWXWuL1K5FO/Do3h+Y142gps61CIMHXBLYYg5p1ddVA=
=8UbG
-----END PGP SIGNATURE-----