-----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: 4.3-2
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 3.9.2
Build-Depends: gcl (>= 2.6.7-87), libgmp3-dev, libreadline-dev, emacs23 | emacsen, debhelper (>= 5), texlive-latex-recommended, libxmu-dev, libxaw7-dev, time
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: 
 3c2ef86f4ce07f11ffc3646b7e94eb6fed6422fe 15251431 acl2_4.3.orig.tar.gz
 b3cfec595ae4622b4f51c6be980cb3e007586f2c 17942 acl2_4.3-2.debian.tar.gz
Checksums-Sha256: 
 da26affd74ea716e68262d8bd71489a365f937b6abdfca07fc77614c0c003a1d 15251431 acl2_4.3.orig.tar.gz
 dffcc36c2220534b47709ddb9baa739ffe5a9cae4d9a45822f8d38c8159d9b22 17942 acl2_4.3-2.debian.tar.gz
Files: 
 022c91284da963f344a699090057ddf4 15251431 acl2_4.3.orig.tar.gz
 56915ee4c5ffcc12402269cfc1e67a06 17942 acl2_4.3-2.debian.tar.gz

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

iEYEARECAAYFAk8bFtsACgkQczG1wFfwRdy0GACfcC7cUxJhBBZyatjHCYTRPZEA
WZMAn1T/b1Oa3MskruzuriR+vsVFqMtO
=0ZUT
-----END PGP SIGNATURE-----