-----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-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:
 8137607590a4ba1cfc5bfb4cb0a50541abf37302 240329345 acl2_8.6+dfsg.orig.tar.gz
 cd8a1f21303b25b607d92dc70721a2bd26cc48df 711200 acl2_8.6+dfsg-3.debian.tar.xz
Checksums-Sha256:
 f633ff0ad42874381b96c34b38f4612629c3c267e2c6214f9543d03a447b366e 240329345 acl2_8.6+dfsg.orig.tar.gz
 39613319694eb435d9933bd8fa160467bbcd0c8d8e78b8dfd421284d7b529772 711200 acl2_8.6+dfsg-3.debian.tar.xz
Files:
 771f71065482cd947d11ce939ed3ebe8 240329345 acl2_8.6+dfsg.orig.tar.gz
 07db5025e350c50aabd886f7e9c49235 711200 acl2_8.6+dfsg-3.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmgknycACgkQuEXOUQ+b
cU15Vg//fqyzXvHROwsIBhCbhWzhEtoJTCFEnpbLpmxNn6BM2kAMN4Aou0SvBmxk
l8wtj6+Vhi4OhPFhCnz4KBv3BUkn4ELjQwDjffPfBOpPD0HV3W/dFteeT1nhyJGi
ghT4DbSdSdKANww0VrUoL9GmmTtxgLLNS5duvM6Vd4rHQCRg2/ac1KomAjy6ztxY
FlIfdFzYfG5cK2MJ6IZLQaRGKZRntGOqacoj9YFOomFhgZF4lqdTklphwPnkg9Zz
t+2Pu1AmPCEqdDstYylovGYY7Z90nzFuahsvuStJKx4Vn6ylwEccw7ZIZGDKMAz/
rmL/jE4vYzA6wfbCf9nqvkoVwRxsZNMANdY2FFwfwp8Gu/XqRjQOyHtd/XOWaNrE
08O5/XBngxVFgM7RQ0EQ4Q9g7Mrsc4+JbjIyEqHW8m3GO8+NlKIVPOp2zgf3cQe2
BBxHiyyk2GMxwOnhYNqYPeQUjS7NHdFPWfdyZfAfXTj/36o9dUAt3Fzr+LhC/YDH
5Dt0hrHvUjV5ZjUIX73cF9W3456ceRhBdQ7fBv4V6CnKCr08rMAPaywqaWS8wO4+
xnYM3ukTXwzrwLGLM0XvAmECIbZI07T5Iz2MjboWmShWZtCrI+WEJL6I0FqlFpNp
5ZiYtIYAkQYahnbTPKze7HC7x4Oe2+IcfS3NHArnpPnzppDA/x4=
=N71T
-----END PGP SIGNATURE-----