-----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.7+dfsg-3
Maintainer: Camm Maguire <camm@debian.org>
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Standards-Version: 4.7.2
Build-Depends: debhelper-compat (= 13), gcl27 (>= 2.7.1-4), debhelper (>= 13), texlive-latex-recommended, time, texinfo, tex-common
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:
 8678eff2c1a646c0cfc9933bf1c9f612b65cc0b8 249797630 acl2_8.7+dfsg.orig.tar.gz
 6ca6e0783720a96a9126dbd456d89d785ab4bfd1 901928 acl2_8.7+dfsg-3.debian.tar.xz
Checksums-Sha256:
 2f396e166c041d852b5974f2fd57bed5e22c282bf397c7e917d0065cb1a68dce 249797630 acl2_8.7+dfsg.orig.tar.gz
 771e8768905b50e9f6383bcd22ebd95260dfcfa2827c84bcd380978809ebb2e7 901928 acl2_8.7+dfsg-3.debian.tar.xz
Files:
 bc17750a5303792edc8661380fd359e5 249797630 acl2_8.7+dfsg.orig.tar.gz
 3c4c61bd4080fa7424f0e024be82352b 901928 acl2_8.7+dfsg-3.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmpXe8oACgkQuEXOUQ+b
cU30jRAAkVo+yFuvUqURBQSzzr/um3E5WsV2CbqhuARnq8W5Rqq3pxpqkqbQEuJn
doj43hNI0ooyd6L66gaFKJvR6yItVLhnWD25NgmfOSq7X1ZO7zyBa4rQY7VeSF8b
IJZaQqLBCiImT4MbS4zDFwk4HbJLA6+2A8H8EAjcvIUiiq/FypQEXfhVrMBVU405
DKgB5ZM8kjr9qgNYXncJW723AAS6hguWYdM7iwMC5nGtZxKKFls15Hi2eFb5BzKi
ifQBN8mvwlRdq2+eRcGyZCWxeo8fYVdMLierxgFgICQ4Bdybv4D8e5BqaFbDET5l
Hs8ZzM2H3gbThYvK3tVBpiW0NZQ30fkMjtZBThKdejsdJ51XeqjEGadOGLnx9YQi
m5DYu14ey/VDYrkXIG7Exre7No+pPpgFAIVkGekEPcVLHf8O1MRxd7k610rKjinU
1MF5FxWV4dU6y5dPvuFj+dT4kfusSj/DfrbVxqvpCv3Vmat7Ms6jRaI/V4FOUsUU
WgpleQ7P1PFzNmSgN4sPF6fqGZ4wCNFrDEp0Vwaad3wXpbCpig/GIv+yNvHwMvQi
IZrrRdte+RiAmWlzVri0Swh1A9pxTi4iMU0ZI4XOwJ1LTMf46sCEaelndnJJJ6BP
vKOBYR6o0hMpWiiPtYUBbtIjimWS7zbaOr/iuHYsQj7lmIpI2J4=
=NcBK
-----END PGP SIGNATURE-----