-----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.1-5
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: 
 1b1b3b88c50f49dbfcb11ba93a2f82befdbdaeea 11463683 acl2_4.1.orig.tar.gz
 1a40e909da9a77392f9215e18b244226a19505e6 17789 acl2_4.1-5.debian.tar.gz
Checksums-Sha256: 
 5ff0cb73dd3c2a1c5ff339174799d4c0762fd2a6aff154f7982ac1758ee7bc21 11463683 acl2_4.1.orig.tar.gz
 6db41cab5bd190b3fdd930d5f56172499f10681ca52a72e85366666255c08428 17789 acl2_4.1-5.debian.tar.gz
Files: 
 2d1883febcbf57a905ef058edb9fe544 11463683 acl2_4.1.orig.tar.gz
 642c253087492319af400c9cfcc82780 17789 acl2_4.1-5.debian.tar.gz

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

iEYEARECAAYFAkzUV88ACgkQczG1wFfwRdx9NACePApQK11i6CvXh4CWA9dHKdUE
fhEAn0dPuLhQ5s97lEO0YtOrkzXiq+Zo
=vsOQ
-----END PGP SIGNATURE-----