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

Format: 1.0
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
Version: 3.3-1.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, time
Files: 
 ec026b72d47d839539ef152ba0784c27 7318498 acl2_3.3.orig.tar.gz
 3027c1c5fc4dbd0718f29dad6f15bf6d 13594 acl2_3.3-1.1.diff.gz

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

iD8DBQFH+HeZTTx8oVVPtMYRAmtDAKCeNEKcafrK5cbc61Wq9m6NW7zDHACgzUCE
HhxFVmFm8Og+vxC1gOFA5EM=
=bwBg
-----END PGP SIGNATURE-----