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

Format: 1.0
Source: acl2
Version: 3.0-1
Binary: acl2-books-source, acl2-infix, acl2-books, acl2, acl2-emacs, acl2-books-certs, acl2-infix-source, acl2-source, acl2-doc
Maintainer: Camm Maguire <camm@enhanced.com>
Architecture: any
Standards-Version: 3.6.1
Build-Depends: gcl (>= 2.6.7-15 ), libgmp3-dev, libncurses5-dev, libreadline5-dev | libreadline-dev, emacs21 | emacsen, debhelper (>= 4 ), tetex-bin, tetex-extra, tetex-base
Files: 
 026065c1221850d7748de7b9cc23c7fc 5966355 acl2_3.0.orig.tar.gz
 c78536d6ef13501bbe02465c01f47654 12940 acl2_3.0-1.diff.gz

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

iD8DBQFEiy6qczG1wFfwRdwRAt/nAJ9eNhn6N3trnqB6AMhcbR1Ce1YLvACeIXtn
yGEeAk9JSXJOtPw5XGZo3Ic=
=KNlC
-----END PGP SIGNATURE-----