-----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.5dfsg-6
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), gcl (>= 2.6.14-1), debhelper (>= 13), texlive-latex-recommended, time, texinfo
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:
 2c44f1f16e4d40bc93ad07e38dc2b7eb6626b28f 223546594 acl2_8.5dfsg.orig.tar.gz
 e9ccf67ec3e73b990f2adbd2b830eb49ef5286ad 312848 acl2_8.5dfsg-6.debian.tar.xz
Checksums-Sha256:
 6e9c7a3c75111429e8009369a28593aa91d84f668e7918980f33bd9996c1d819 223546594 acl2_8.5dfsg.orig.tar.gz
 7f97cfc77f040ca1ef1754e164ea8de5d97929e06538ac5153887952edd659d8 312848 acl2_8.5dfsg-6.debian.tar.xz
Files:
 ac4cf2aefbdbc7436cf745fa05b8d373 223546594 acl2_8.5dfsg.orig.tar.gz
 24d8173f9eaefbf91bf6d6316e511df0 312848 acl2_8.5dfsg-6.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmamb5UACgkQuEXOUQ+b
cU30yQ//ThKjGUdqkFF7mzVT4BzKFw8scAsQVyoBOcRj063mHeLcZPAKF8+MLKbC
T8QRwp+DgPSGPxTuzy5usDXNOYH/zGybO60S/PDtyaGSd2Np+qULVwCRGfhtpSwT
EgAJO6ojlC7M646q9uwCJ0LKMBHD3L2daKui0vIg8c6dG1/btqRz0/cs4cNVgsZ2
ojdfCUmuqO+NUancRHd72kWpPqi6oQ9COsZ6bILgxbLOLJnyrvstc8TstcFUEdZs
f6+C+M1hnOMHnj5baHkiTGFhJ5TAvv0JqVRNG7PGiAvWqjukAHgrfGe/1AT3wXOl
1IzumXUZCX3NvfRYRxVzNVojAIQEId2O+1/iAiTth4C0iKRcIWuxbY7DpA+zzlT3
ADauKDsTKgd6QY0lGkpv6xrX3id2gLCK1qzxYWWFn2eIj4RWeL1FxY8n4XX+wiJa
4Gg6vxwPdOjr/5JZoZy6qScr4/p5Fz5AfHyOXD1a1l7cJCSJb+gRcUmJghYf1r7K
xEtN/THR0LQM5xOuzJGtPOqGCAMsxvriLWvaI083YNdAs2fxtjbcKvQTodr4JMV2
Abc5sevCXgXw4qedzgjqxW4llqrxGnXZ9TAqomyIMqJuPH7CpSHA7cgd9e7/WJ9R
u/xGIiSJSD87tLwkCYvBxdMLWHzuGqBkcVR/WJJ3pwR4hQUqujM=
=Nk4o
-----END PGP SIGNATURE-----