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

Format: 3.0 (quilt)
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: 4.2-1
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 3.9.1
Build-Depends: gcl (>= 2.6.7-87), libgmp3-dev, libncurses5-dev, libreadline-dev, emacs23 | emacsen, debhelper (>= 5), texlive-latex-recommended, libxmu-dev, libxaw7-dev, time
Checksums-Sha1: 
 75c24b3fc6b1ca0e7a4163fd47088eca3b0c1104 11699557 acl2_4.2.orig.tar.gz
 baf85e72b3ae8d01fdd67de9b991cb569d5683d9 17887 acl2_4.2-1.debian.tar.gz
Checksums-Sha256: 
 0f727b44257640346dc6eecc046f339b171676e79c31883535281e61bbfca077 11699557 acl2_4.2.orig.tar.gz
 ea139a208950bc60d7237ae8d1138af14951d2e63239a7d82dadaefadf6efb6c 17887 acl2_4.2-1.debian.tar.gz
Files: 
 0640f22d24158cc4e17d499df3e0c069 11699557 acl2_4.2.orig.tar.gz
 941c9c30b4244f23e745fd0a9571ef50 17887 acl2_4.2-1.debian.tar.gz

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

iEYEARECAAYFAk3OjUgACgkQczG1wFfwRdzLdgCgluVbhC5zVqbp3LhfcWuSyPpZ
g7MAoIiUnNmYDCAlFoeHv8qBQ8zg9+Yk
=QJFa
-----END PGP SIGNATURE-----