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

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: 6.3-5
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 3.9.4
Build-Depends: gcl (>= 2.6.9-12), 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
 acl2-books deb math optional
 acl2-books-certs deb math optional
 acl2-books-source deb math optional
 acl2-doc deb doc optional
 acl2-emacs deb math optional
 acl2-infix deb math optional
 acl2-infix-source deb math optional
 acl2-source deb math optional
Checksums-Sha1: 
 cd0412a7e7463f05bc95149c5ca2d9ec2d32f6a6 13598991 acl2_6.3.orig-books.tar.gz
 12c336c03e3d8cd5a62acc062eea085a7ff97751 7068895 acl2_6.3.orig.tar.gz
 a31d7204cedd39749ee29c4087eed66d908451e2 161480 acl2_6.3-5.debian.tar.gz
Checksums-Sha256: 
 29f9c5b1de6131695b01153f337bb107869e9ae0c1b506e46a3de9373bbd1bfa 13598991 acl2_6.3.orig-books.tar.gz
 ee7ca85232c36068516e8852a5b31fcd8f38cb2596ce8d4d7934009e28400bb9 7068895 acl2_6.3.orig.tar.gz
 7c3ee2b6bf1067ef6b75e09a82ebd2c6eb30fcc8ce0cbef5eed568801919a79d 161480 acl2_6.3-5.debian.tar.gz
Files: 
 c2532a0b5e416b371a31a464707fb7e4 13598991 acl2_6.3.orig-books.tar.gz
 f333676e91224e8d5a22a7c6972e2d72 7068895 acl2_6.3.orig.tar.gz
 013599e699deba615e62693334cec111 161480 acl2_6.3-5.debian.tar.gz

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

iEYEARECAAYFAlJitEIACgkQczG1wFfwRdxEugCdG50pcIquC1DfTze7DUe51K/0
WxUAnAldQ1w+OS347tBczv1F/AiUj0in
=9SPW
-----END PGP SIGNATURE-----