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

Format: 1.0
Source: acl2
Version: 2.9.3-5build1
Binary: acl2-books-source, acl2-infix, acl2-books, acl2-books-certs, acl2-doc, acl2, acl2-emacs, acl2-infix-source, acl2-source
Maintainer: Camm Maguire <camm@enhanced.com>
Architecture: any
Standards-Version: 3.6.1
Build-Depends: gcl ( >= 2.6.7-9 ), libgmp3-dev, libncurses5-dev, libreadline5-dev | libreadline-dev, emacs21 | emacsen, debhelper ( >= 4 ), tetex-bin, tetex-extra, tetex-base
Files: 
 684710c71ff418ec4a7a5f5b67bae8e0 5412099 acl2_2.9.3.orig.tar.gz
 35c642cd7fb130422c7ff06efbe9d913 19908 acl2_2.9.3-5build1.diff.gz

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

iD8DBQFDSAukwYnnM8CY76gRAq17AJ0T/l1TLq9hfiRpvFE4vaM8HAXdpwCdGYI8
PW0HkYVOscCKPoLM74DVKUo=
=S2z0
-----END PGP SIGNATURE-----