-----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-6
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 3.9.4
Build-Depends: gcl (>= 2.6.10-1), 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
 d526cd7e82aaf509b0ccc6d127bfaa2d9cac4367 161447 acl2_6.3-6.debian.tar.gz
Checksums-Sha256: 
 29f9c5b1de6131695b01153f337bb107869e9ae0c1b506e46a3de9373bbd1bfa 13598991 acl2_6.3.orig-books.tar.gz
 ee7ca85232c36068516e8852a5b31fcd8f38cb2596ce8d4d7934009e28400bb9 7068895 acl2_6.3.orig.tar.gz
 5b79115d2eb08cc5c6ec167d7f2937c6125e104e644a6bce0190f5ebd7d65888 161447 acl2_6.3-6.debian.tar.gz
Files: 
 c2532a0b5e416b371a31a464707fb7e4 13598991 acl2_6.3.orig-books.tar.gz
 f333676e91224e8d5a22a7c6972e2d72 7068895 acl2_6.3.orig.tar.gz
 2d39d9ce54071a8cf21750dfe45e6e0a 161447 acl2_6.3-6.debian.tar.gz

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

iEYEARECAAYFAlKH+IcACgkQczG1wFfwRdzI0ACeIV1QffWJ7FYPaqfK8XE5t8HT
GBEAnjfv9/J9faMO0156XAJdHNTc9WSb
=DlZl
-----END PGP SIGNATURE-----