-----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.0-2
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 3.9.3
Build-Depends: gcl (>= 2.6.7-100), 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: 
 5cd86c22578d11992a86333fd2df60cbca6f20c5 10961166 acl2_6.0.orig-books.tar.gz
 074f3d62de22eb091c45db271ebba33d040a414c 6774056 acl2_6.0.orig.tar.gz
 a815a33da29f871aef142b5de99bf859c9a4bc2e 159054 acl2_6.0-2.debian.tar.gz
Checksums-Sha256: 
 01efa29d8547856f5b8c566d834c386434aa82b4edaa022ffbb14cd570e7ffdb 10961166 acl2_6.0.orig-books.tar.gz
 691cdf02ce9950cf0b06dc893a89c8da694ec553cc0f798049b61ddd304ab4ae 6774056 acl2_6.0.orig.tar.gz
 4539e53633c7f87fb9f0511fe8815ac1424df9c674d4373a7a97d6747141b92e 159054 acl2_6.0-2.debian.tar.gz
Files: 
 9934badd26f7ccd8eaa8bf964faa5a42 10961166 acl2_6.0.orig-books.tar.gz
 028e819f971e7030c15e402b2df63565 6774056 acl2_6.0.orig.tar.gz
 ba42bdc1c67727c19cba737435fe960a 159054 acl2_6.0-2.debian.tar.gz

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

iEYEARECAAYFAlDzLIwACgkQczG1wFfwRdwjAgCeJaBapwCTWFOukmUD9SfZsoAt
zjoAniVF2Rd71/cNoep/Jtf6fT+PyAi/
=XESe
-----END PGP SIGNATURE-----