-----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: 4.0-3
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 3.9.0
Build-Depends: gcl (>= 2.6.7-52), libgmp3-dev, libncurses5-dev, libreadline-dev, emacs23 | emacsen, debhelper (>= 5), texlive-latex-recommended, libxmu-dev, libxaw7-dev, time
Checksums-Sha1: 
 754c76be69f1e39543505e370fde254df251b4fc 11425814 acl2_4.0.orig.tar.gz
 3c9ea8a8013701106b6ab6a848b5fe7523b2e593 15953 acl2_4.0-3.diff.gz
Checksums-Sha256: 
 2410c0d55e687db999a3467427a43a28eafbced0340751f6c401ba4deda64880 11425814 acl2_4.0.orig.tar.gz
 3835bedf951387a5367294876fac96ee3adee50a875ee68e2455e910556d54a8 15953 acl2_4.0-3.diff.gz
Files: 
 6da5dbb60f8f39fb359a0b9391d899fa 11425814 acl2_4.0.orig.tar.gz
 eb763682aa2f255748d5d11fc3ba3509 15953 acl2_4.0-3.diff.gz

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

iEYEARECAAYFAkw3SJ0ACgkQczG1wFfwRdwBIQCdF86nNJnpXRkRPk+VrtD6nJNa
dnoAnA5kDMtofjpvQ3yu1Eqv7ZoDkclX
=hhg8
-----END PGP SIGNATURE-----