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

Format: 1.0
Source: acl2
Binary: acl2-books-source, acl2-infix, acl2-books, acl2, acl2-emacs, acl2-books-certs, acl2-infix-source, acl2-source, acl2-doc
Architecture: any
Version: 3.3-1
Maintainer: Camm Maguire <camm@enhanced.com>
Standards-Version: 3.7.2
Build-Depends: debhelper (>= 4), emacs22 | emacsen, gcl (>= 2.6.7-36), libgmp3-dev, libncurses5-dev, libreadline5-dev | libreadline-dev, libxaw7-dev, libxmu-dev, texlive-latex-recommended
Files: 
 ec026b72d47d839539ef152ba0784c27 7318498 acl2_3.3.orig.tar.gz
 9df68c9351a07d91b5d2939cdce32a87 13522 acl2_3.3-1.diff.gz

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

iD8DBQFHVDj7czG1wFfwRdwRAuMPAKCp6xDYsTrXUj61OvXrPXoyiNUABgCfcwOT
OrYNnfRDR2yiClr8vdjGrDQ=
=Qo8v
-----END PGP SIGNATURE-----