-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

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-3build1
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
 01d0d78a44fad153febdf4142406aabc806d3cbd 711120 acl2_8.6+dfsg-3build1.debian.tar.xz
Checksums-Sha256:
 f633ff0ad42874381b96c34b38f4612629c3c267e2c6214f9543d03a447b366e 240329345 acl2_8.6+dfsg.orig.tar.gz
 8bb4d0eae005d84f2434a8b4f7220e10bc9bc97d87815589f31076e3e354b5f4 711120 acl2_8.6+dfsg-3build1.debian.tar.xz
Files:
 771f71065482cd947d11ce939ed3ebe8 240329345 acl2_8.6+dfsg.orig.tar.gz
 dd4c2c3e8d0e71f560f30dbaffcbf569 711120 acl2_8.6+dfsg-3build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmCXEMACgkQWWH9vpxh
mAnouA//RGnI1pm0R5gvA1kOWoKMR7+cv6X1ch6aodOeEY22BqstWceI+UMnfavt
XKKTulmaKA5tD+Zz4HcBRaTRTKFJgdqYX72g+IdbdLetmZr1gmRuzRhy+erDKEhs
LN6un8ocosNYST+bWowM6IWPHrBH4LxcJaYs6dcppQkHsVD7xTadMsvOCoG+i7r4
i4xfxopDrc12/cJXw91gzTfi6d2j1t4eBMDBU1UuQBVMbMu4zmhz81Bbk+uA+Yjq
IQhAHC1TCszmhw6oAd7nD/1l2f+MgoeRJvhud6Pd0C7EYfzFdDs9yo5wc1klPthA
jLOcc5H9yAIL1kzTCTl6ZsObZiKhRV4NCN2739LRdyiMEvpnlGOOh9w+HDAcHBRq
UzWTGUYVCOKkebMW28jAC4zbGrldHSGpI6hLuLvNsHd8Zv/h3OJ7M99hYsg2jWjK
FbcQ7vqCCl+XNbsxQR3Q05pr/6VKqiPABZLUh9HfuyS6u1M6F3tJPV1yLCSQBwO0
rF/SdR32X0/WQ1IeqWFdeKO6fNdZ12n67iJgefdzQVMkqaTuB3DWIqYOTSj8db8Q
ZSKYqjgtxT8vKVYADJm1iDbS8ryufxlOv6QTqyMHiA+d5vzGj4y/4SkjJLVG/ic+
Rfrr4oa/LfZbj/NxO4hrKv073/vIv9Z5mgpUUOGcOG+QkidrZLY=
=LAkr
-----END PGP SIGNATURE-----