-----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-2
Maintainer: Camm Maguire <camm@debian.org>
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
 1a006995cdd37b4cab0c1827dfa0faf1e0a068d1 13897 acl2_3.4-2.diff.gz
Checksums-Sha256: 
 71373ab5d0fe72f6db1d9a86b7b062eb09707cb7b69f69eccfd41c9f0b938abe 8003235 acl2_3.4.orig.tar.gz
 b35c62e578439d5519fcd376a69487f1f2b6be84cc14d194bd48d0316fa2f676 13897 acl2_3.4-2.diff.gz
Files: 
 00c210b69b585941d856616c7a66c463 8003235 acl2_3.4.orig.tar.gz
 a84e0b5d8ecd58a3857cd85a1e6d7c34 13897 acl2_3.4-2.diff.gz

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

iEYEARECAAYFAkmiFTMACgkQczG1wFfwRdzaKwCgmfu4tEVbKo3Y+HozFAldKB6b
rZkAn0ANkTBWivc4UOSXGhJo/ki9NJJJ
=nqPQ
-----END PGP SIGNATURE-----