-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: acl2
Binary: acl2, acl2-source, acl2-emacs, acl2-infix, acl2-infix-source, acl2-books, acl2-books-source, acl2-books-certs, acl2-doc
Architecture: any all
Version: 7.1-1
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 3.9.5
Build-Depends: gcl (>= 2.6.12-14), libgmp3-dev, libreadline-dev, emacs24 | emacsen, debhelper (>= 5), texlive-latex-recommended, libxmu-dev, libxaw7-dev, time, tex-common, texinfo
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-emacs deb math 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
Checksums-Sha1:
 66fc9812410886fa079eb27d946f56c936018fa1 63342334 acl2_7.1.orig.tar.gz
 9fa96035ac032e228fa4b0ca4e1ad76014048df9 128900 acl2_7.1-1.debian.tar.xz
Checksums-Sha256:
 4b17ee4c3bbb554fd6e51009f91899904a61cee88a29613b5886f51637d9ac4e 63342334 acl2_7.1.orig.tar.gz
 70bf0f764c93a5230141ffcab41a3c2c30dea25b92bd8ccb4fae1a2a4ad3c940 128900 acl2_7.1-1.debian.tar.xz
Files:
 2d1cc71bc7b6982c6002111f91545fc7 63342334 acl2_7.1.orig.tar.gz
 bec2cf7f280986dc4de11c61d973c039 128900 acl2_7.1-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJVbGnwAAoJELhFzlEPm3FN1hUP/15M7F6BcsFsc+L1eO65bR1W
5yyX8+jLUi5flwF2+LcKSucWZMhfvuhlAy2UyUukAxs3tJW3DJ8FnNcEbStPaPXD
6xLwYoF2v8KIe0ya6QQlmohQt2rBbkyyieDEhn1ksDLHPbGBb7aGyfdo3N9DaTJV
1EyfajO/UGXbUBR2kZyZlEDpRokUgb8DH7YztF+cieTylj/dQW7XKqRcW3FIID9x
e96FxnRP/GyQwQnwZoTsrbcChsJddM/FTEiRQ3vnERk5WdeNFceKwtwpllwAGumY
K+j5M0XnfXn71xyiJrL2ouyHrAeOE9LvZnLLLC0sQul1N3TRElRlMACAf24b3Pbk
9itKzU6rAv8ge34VZZ03ONfdnCulL4fRDjUzGljB2SIbzShu8rCGMH6b1vfthm0G
fbss8k8+117h8fJiS/Qzu2Uq5S0VfV6MjUyXPdwK+67Nc3J30Mu0OL3LoRa84v4r
04zs4OM+uqvptofT3sgb8TquJfhhVHE8mFp+tOyAEECPvIz4P4tyvC/Eh/ggrY8S
lRkxpz/C7a9I4bbxsxHTeaZKVQbbQL9ip3wsdLLOYkgCpYUwBD1ihGv+KBqU1ryl
8VlHkOXqyYdvmLj1IX4C6NuJdtHBff7W7JTHyRupwT6esQyBex7D0IWMmoNzEPuA
Z+MFPKlQ2ZRy8kOW4f0+
=je0E
-----END PGP SIGNATURE-----