-----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.4-1
Maintainer: Camm Maguire <camm@enhanced.com>
Standards-Version: 3.8.0
Build-Depends: gcl (>= 2.6.7-36), libgmp3-dev, libncurses5-dev, libreadline5-dev | libreadline-dev, emacs22 | emacsen, debhelper (>= 4), texlive-latex-recommended, libxmu-dev, libxaw7-dev, time
Checksums-Sha1: 
 9326fb97f7a351bc41943bb433d34e98d1dbf84f 8003235 acl2_3.4.orig.tar.gz
 ba06fae8e0429c2ff7f05b8fd7167660a5de9830 13765 acl2_3.4-1.diff.gz
Checksums-Sha256: 
 71373ab5d0fe72f6db1d9a86b7b062eb09707cb7b69f69eccfd41c9f0b938abe 8003235 acl2_3.4.orig.tar.gz
 da89cd3d9a06e7d49f31ac20bb05b67ee60adc50949158000c507b8e370a19c7 13765 acl2_3.4-1.diff.gz
Files: 
 00c210b69b585941d856616c7a66c463 8003235 acl2_3.4.orig.tar.gz
 441c3713e610a92e8f07a5ab4e66296d 13765 acl2_3.4-1.diff.gz

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

iD8DBQFIsesOczG1wFfwRdwRAvK1AJ9b/eAAMGqOXR4nq4ZiJ1RAWurbPQCgti7m
q5Zmz95N1oqu8WTwvWs5DGM=
=E1x+
-----END PGP SIGNATURE-----