-----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-1
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 3.9.1
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
 9f30ec27937f9995932ab7491e54a434a92e9c42 17745 acl2_4.3-1.debian.tar.gz
Checksums-Sha256: 
 da26affd74ea716e68262d8bd71489a365f937b6abdfca07fc77614c0c003a1d 15251431 acl2_4.3.orig.tar.gz
 fb4b8861ce5ad292863e07453bfeca42fbce00b3e604161e4ec9af0cb87a7199 17745 acl2_4.3-1.debian.tar.gz
Files: 
 022c91284da963f344a699090057ddf4 15251431 acl2_4.3.orig.tar.gz
 0fbf5417a10a2a8742e55a46623bdb0b 17745 acl2_4.3-1.debian.tar.gz

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

iEYEARECAAYFAk8N3r8ACgkQczG1wFfwRdxJ1wCgpAbKcpXOQfnYgB/19udtCoow
ajcAn0IbPJHCERvMJGKvXPh4u/iRRveS
=ffG6
-----END PGP SIGNATURE-----