-----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-2
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
 e0f694fbf4ae8acb766c43b9198915f38e40df62 445128 acl2_8.6+dfsg-2.debian.tar.xz
Checksums-Sha256:
 f633ff0ad42874381b96c34b38f4612629c3c267e2c6214f9543d03a447b366e 240329345 acl2_8.6+dfsg.orig.tar.gz
 75f1788d07f74adc491c02739e0258d42bfe2d9d5bfd0b2b0a9d356074a1a2fb 445128 acl2_8.6+dfsg-2.debian.tar.xz
Files:
 771f71065482cd947d11ce939ed3ebe8 240329345 acl2_8.6+dfsg.orig.tar.gz
 64d17b5be8696bc745e6183d0965600d 445128 acl2_8.6+dfsg-2.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmgOJkwACgkQuEXOUQ+b
cU2aDw/+IkSkvx06ZATPAc8OVNbJEiAZvvLezPxinMS9tHDzHUqs1F8AvFB4tNgK
glYNmcncNu9G7MpAg1RFTvcrzqKYhQnJiudAy2ovYCpvb1KHqoG0Zcysa408vKyS
UfAHHkOme4qgyymueKS5liis2EMoPc4zVGWQfJWbkfBFRAgjca3Zrvds3HQQ47Ke
DEHAma2rrpixmWdIQEgtldORd4IMI6z5AeilCVlxVHDLQ5gnPPkQybhdPNwj9VV0
c5rWpMoWOEWCpYY/Bvmbri75/hf5K+YlmxV7nWgit2zq8rHCGYA8lxSlwb1X01g0
2f8zVOeKoD9+K6urzEcTOvJvmVzg0sIAz4HvURW5y9e6STXtO4hwXOW4l7rRkWc/
tjar9ngWWmOA6qiVV0h8+aJMLtezvbMJSofrbeR4WEFBUb+iOqfo+scCeErSGY/O
1G0i0X8wxhsgjL73nHYmdX1PsRcTbWDMbM9Tzpdvrttile2V8bJj5WB72JbKzCiB
qoNTGlm3CRti/pdKOskj6FSz9rsGsfbKCAyhhii8GlrY1xltbk6nbglA6niU1wn/
7if/8JbEA4eN/uPvseEQat0SVblehAWPEA974wL1iiPKU9R28OV3nwCsPjtdVohg
+UBVduTm0lrEcCsdeKzaIpwjKpNNCCWc1AAsnXBo/A/XLr+pctA=
=07t/
-----END PGP SIGNATURE-----