-----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-1
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
 f25279b108d4359e39ed4061f2a3d0366e946ea8 902428 acl2_8.7+dfsg-1.debian.tar.xz
Checksums-Sha256:
 2f396e166c041d852b5974f2fd57bed5e22c282bf397c7e917d0065cb1a68dce 249797630 acl2_8.7+dfsg.orig.tar.gz
 53c204666fce9545cf0807937235d9128653b6ba761d5af8ea6dc67dc568923b 902428 acl2_8.7+dfsg-1.debian.tar.xz
Files:
 bc17750a5303792edc8661380fd359e5 249797630 acl2_8.7+dfsg.orig.tar.gz
 31925d37fd6be2f3f24516057f6b81eb 902428 acl2_8.7+dfsg-1.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmoyUhQACgkQuEXOUQ+b
cU3NAxAAk3qOqe2+bLZqvdkKiuEObz3fP4iHH/h+j8VJisGX/7wwVJgLNgYC11no
7KMY5gkbMRxQGtsNzcR5vnvzVx246vjjY/8D5xir55SMqe4Hm4nouSo4vYzvKd1W
s40/e6h+2aZIIEu+TB0LvoldAu/4WmK0kuJ/soCNUEb9uIcyuoqyXROAXO6XBhYW
giIWVqkhw0rYunFCOXjdNh+fSQgLN0KYcG+2Q36rFUiVl2B2l1vrunJRdzitJYAg
LPFSS+SLPkzRTGMudUy6LmRFfVtHdCc3rqZirSMwDPfKw/hzztnT8CMflqPOy2gm
UJzjMZcvISkhJtf1jUIThAEAFvbBllSoA3NSbxEb9Tjt9zMi99QY/ngljIPe4nlc
cF4I3DnUMo02JrDnS9zLdl11p+26psus5XC2kAvAbLi5YtGfIqNYzHG5+EAm3Yic
iMSNBpGuludynoTwV7bDgy/lR4hQtz1OXg7MRpbMXAcbHnFdZYH+2yND8yJXZqv7
KDDv2cf4aVc1BuG1iDj9YBFxsmg1VW0Z8FLXisGUDYHkYjTqpXRkg8TqozFYx+n+
MWv+xG0Y0g2il5XKBsYSDMys1ltrxbNsVFnnUnHV+cZeZCKg68J5u7t7UuS7S3+p
KjzUJMqc7IMcu6iqi61WMgR6/MFQwy05pSUiD8jIjoktr8nWBx0=
=4ExT
-----END PGP SIGNATURE-----