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

Format: 1.0
Source: acl2
Version: 3.2-1
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.7.2
Build-Depends: gcl (>= 2.6.7-27 ), libgmp3-dev, libncurses5-dev, libreadline5-dev | libreadline-dev, emacs21 | emacsen, debhelper (>= 4 ), tetex-bin, tetex-extra, tetex-base, libxmu-dev, libxaw7-dev
Files: 
 406a6349fb20483fd2b75f21f984157e 7047564 acl2_3.2.orig.tar.gz
 02ebb512bb4d415b8159d855f547e11c 13288 acl2_3.2-1.diff.gz

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

iD8DBQFGTK82czG1wFfwRdwRAp0GAKCbh0HYmDz042Jkp8M1FNs0n41g7ACgkN0f
upCZ5hiwtsiKQWJBOTl9gRU=
=bM2Q
-----END PGP SIGNATURE-----