-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.0
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
Version: 3.6-4
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 3.8.3
Build-Depends: gcl (>= 2.6.7-52), libgmp3-dev, libncurses5-dev, libreadline-dev, emacs22 | emacsen, debhelper (>= 5), texlive-latex-recommended, libxmu-dev, libxaw7-dev, time
Checksums-Sha1: 
 7336561642d1334cbc810081c6a2d4a9b5f8f4ea 10497441 acl2_3.6.orig.tar.gz
 2ac4bae5143dadd4fe5ba4c4a5feede7e7d24d75 15164 acl2_3.6-4.diff.gz
Checksums-Sha256: 
 b6b57684f960ff40eb987b1456433a2f82f6f905b9b01e3f7fdb3553f7c172b3 10497441 acl2_3.6.orig.tar.gz
 b20c24de8a5b5590870d64479ad1a50465aede8082a43e0376b0a5351e95e4ff 15164 acl2_3.6-4.diff.gz
Files: 
 bb0b1fdf99ebd1017d53d75266b96917 10497441 acl2_3.6.orig.tar.gz
 cf3552ff0ebf24a4791c1f5cb44affd6 15164 acl2_3.6-4.diff.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iEYEARECAAYFAktLpwIACgkQczG1wFfwRdwIlACfd2Ps7CLcZOdaC20WFLdSO4mK
tXUAn1bkMBEjHVGyO2rVBuRtUp59X9DJ
=2wT5
-----END PGP SIGNATURE-----