-----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.6+dfsg-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), gcl27 (>= 2.7.1), 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:
 8137607590a4ba1cfc5bfb4cb0a50541abf37302 240329345 acl2_8.6+dfsg.orig.tar.gz
 a3cd72cf5ecb52370b6f980b89fccd52d700e537 445216 acl2_8.6+dfsg-1.debian.tar.xz
Checksums-Sha256:
 f633ff0ad42874381b96c34b38f4612629c3c267e2c6214f9543d03a447b366e 240329345 acl2_8.6+dfsg.orig.tar.gz
 eb00ac49edd5048f5e8e49ea0d397d03231c639b440ae5215336ac3c7ad24bf7 445216 acl2_8.6+dfsg-1.debian.tar.xz
Files:
 771f71065482cd947d11ce939ed3ebe8 240329345 acl2_8.6+dfsg.orig.tar.gz
 c8dcd2064c8d0d0d5fdd781e2adb9dcd 445216 acl2_8.6+dfsg-1.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmgNSTEACgkQuEXOUQ+b
cU3qZw/7BDLoeKPp2zTz5kq/ciTY3PJVpPxCwFxpQp26AFfzmjAxkhwH8TLOVDaO
GZlKqLPZehIbYg9mGPupOaayAj1FmcS6+X396lYaxMVtPt/jUP3IVz9KWtXdttmZ
5wO0cjHzescEI5m/sVFp+yxMpjRyD2+UNByMt3udHPvg/jvR9ympD3fw7bcztrgP
FalqEHWCyJDt/Taq042OznhIZAAcwvKDZl1hIa4UlD4PYUa+Vu2GVQhxS9BpBjuP
9/WOUoW9MGR56jLCQF+wGpvUjRLnAz1ykGYRfbuNaog5vzkadIbeQYPKNoXwS/TF
+Yy8vILYedWTsaFAoCbhg7PFTyw/PrAAjySYnCM65hzNZ8owhdeyjMKTd6K8lhFW
8HAfO9Duf4iuXwlc6wk+SZJI7bcJYDJXTDp4hmp3F0iWVfoyW3bKPKx4EC5wogt1
gLkkOEvzDwUa5BA4jp3Ms4ux4NvSqWY6IbDylXNMEtZ8yyUKrR1xy5iztvxqkjRJ
CTlp+AD9FvWKSxGAqOoBtyuO4M7CaVNbH4Dc/HEaG7cwqorkCHUrmvsMqZG0i7Kl
luRtj1rQFwPaqzh1UmhDd03u/vX2yQUSa3EdCg26kbX4erGer5I1d4ENWhmibtU8
YR0drVcjHOSzmpPpDzDMo7HHMlG9AOdxoXKfu4qTUqWVYec5goY=
=y3Lc
-----END PGP SIGNATURE-----