-----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 all
Version: 6.2-6
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 3.9.4
Build-Depends: gcl (>= 2.6.7+dfsga-37), libgmp3-dev, libreadline-dev, emacs24 | emacsen, debhelper (>= 5), texlive-latex-recommended, libxmu-dev, libxaw7-dev, time, tex-common
Package-List: 
 acl2 deb math optional
 acl2-books deb math optional
 acl2-books-certs deb math optional
 acl2-books-source deb math optional
 acl2-doc deb doc optional
 acl2-emacs deb math optional
 acl2-infix deb math optional
 acl2-infix-source deb math optional
 acl2-source deb math optional
Checksums-Sha1: 
 31cf9835907a43d0d24b1e87b17d5374a9a7eeaa 11334618 acl2_6.2.orig-books.tar.gz
 b55a98e711506c29a9da291c24d2b3e7054f2210 6922453 acl2_6.2.orig.tar.gz
 4f0538c3c5557cff183aa4491d67bfd511f2266e 160699 acl2_6.2-6.debian.tar.gz
Checksums-Sha256: 
 8a6fbfa491dfb9ef129b4f6c4e3d7da7cffe434da111c69ec63b98b3bc8af8a1 11334618 acl2_6.2.orig-books.tar.gz
 b28073994b1eb36f8f0c0da92c4107b0fc63643d74436c3bbe6f9316e87a6ba3 6922453 acl2_6.2.orig.tar.gz
 8c51472957287303d2f53c6079c300beea6cf15d346f7b68df50cf414da1f121 160699 acl2_6.2-6.debian.tar.gz
Files: 
 f6614df0f7bba424dd1ddcbad22190b7 11334618 acl2_6.2.orig-books.tar.gz
 1d44fb09e3311730271af8bd981f308b 6922453 acl2_6.2.orig.tar.gz
 cec8320193099facf8dec01a4e42c465 160699 acl2_6.2-6.debian.tar.gz

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

iEYEARECAAYFAlH329gACgkQczG1wFfwRdy7CQCgn4MLOGFNT1rCVZCo0SvBKHKo
vlcAmwTr/mAlxgbvtShqyNTuunRCD7t1
=vYs9
-----END PGP SIGNATURE-----