-----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.4-4
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 3.9.4
Build-Depends: gcl (>= 2.6.10-10), 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: 
 64169c41b638435601151b06d3dced4d32a7de21 14170540 acl2_6.4.orig-books.tar.gz
 139c85c60bf6d34a88523c983f9342f5133048fa 6109095 acl2_6.4.orig.tar.gz
 0bd37380c6dde17aad3aa109104d70689c210cd6 126732 acl2_6.4-4.debian.tar.xz
Checksums-Sha256: 
 bc3170a698505a1465b7cd2d18bf0b03a89c25d23cd0196037ef80ff4e8474aa 14170540 acl2_6.4.orig-books.tar.gz
 4c274c934a03fe24af29d284b5b230c3a477602d1272cfd95977c8765cf6c8b2 6109095 acl2_6.4.orig.tar.gz
 67e8e4287faaafa2679de31e8b04a5284b06f7a65b988abee2ae89529314ed4f 126732 acl2_6.4-4.debian.tar.xz
Files: 
 0683664f31b0092700d10e586d3ac515 14170540 acl2_6.4.orig-books.tar.gz
 f1630ad41eac5162d9c03ed58f984927 6109095 acl2_6.4.orig.tar.gz
 667ccfd234aadc2728a3efdbacb7ae5d 126732 acl2_6.4-4.debian.tar.xz

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

iEYEARECAAYFAlN1gmsACgkQczG1wFfwRdzv2QCdFRCyFQhM5HApPY18zEHRIdga
i08An0xADvylDm9caL/LuS3HOh9AgICU
=v+JR
-----END PGP SIGNATURE-----