-----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-2
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
 2677f13d60b082cccf5ed8fab1cc96578c936dce 902016 acl2_8.7+dfsg-2.debian.tar.xz
Checksums-Sha256:
 2f396e166c041d852b5974f2fd57bed5e22c282bf397c7e917d0065cb1a68dce 249797630 acl2_8.7+dfsg.orig.tar.gz
 2e02df6148679e2efc60510c698bf41bd44681fb6a740f581f21e94c5bd2eefa 902016 acl2_8.7+dfsg-2.debian.tar.xz
Files:
 bc17750a5303792edc8661380fd359e5 249797630 acl2_8.7+dfsg.orig.tar.gz
 0d47595c2bda27d271f8f5eea6d48b5f 902016 acl2_8.7+dfsg-2.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmoyrYMACgkQuEXOUQ+b
cU1fsg//Xt1kMcQpoLyoVSD43DJ7Mo2ZGf0ArwW/Jasu7L9E34JwwvjFbPYVNCe2
latvTgUTsvnV/m+H6IFMReGL78730DFHVFRUscU2fHEOfAPqAAcSyDmZKbJ7rVVK
4ZpMyxKsT8/44Zf1XGKBXnfqGQxhPdSKUax6YSpDF8E9/FxojX2JiTcFrIlaB8L7
bnKXDopSEZ4zWIqlCjbtiRn+ZMfEv4GUNlQs/QlQHi9aetYcJ97LY8WLhf9kFG4j
kXSB5GRp8rTCnSPn5hqyYGLGp6GPigMZswqlN9W6m4Wc68sQoP/SWJCILa26x5bl
+fseZwdCJK+NYksoclyI63/T0X5h/c5+snJ2Dt3Fd2N/mfml2xl2o+Yo1zw3J9Oq
muUc/oNpLcsaljrCIv7IGl064jJz0JC07YFOX5SHqBy09VgKftKo5d704NglD0+B
UAHVncy47V+1q6umPkB8duk5Z2cccSF+UCiJlHMQ67cOc6QLSYOO9cOjTrfI21t4
YOiOCrOWzPyER7OkxnliaWOpaGapBVxua4sMdzo8/WZGZronTmm9Q7rJkvrXJfXC
BMz72vHspRll5Qze2ZRiye+aJqAAxdhvP43DeQcubAnyekX7pSx1oR7Y53vWQbq9
7Zc6i5iMRJJk87tVEYi7buMjOgqvFjjbTLSFa6Ft11ZJ3oy9LuY=
=zMbw
-----END PGP SIGNATURE-----