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

Format: 1.0
Source: acl2
Version: 2.8-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.6.1
Build-Depends: gcl ( >= 2.6.1-37 ), libgmp3-dev, libncurses5-dev, libreadline4-dev, binutils-dev [ i386 arm powerpc sparc s390 m68k ] ,emacs21 | emacsen, debhelper ( >= 4 ), tetex-bin, tetex-extra, tetex-base
Files: 
 e111761f4bb2bc36549dbcb4284e61cb 5157528 acl2_2.8.orig.tar.gz
 fa545776434e83f005a69d19b2741cdb 12069 acl2_2.8-1.diff.gz

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

iD8DBQFAiAkoczG1wFfwRdwRAk8fAJwNo5EpJbpu5iV6eXaPstWAYCe7nQCfXAYu
K0PLpMN8nNmPPmZrp7qQ0HY=
=KMY5
-----END PGP SIGNATURE-----