-----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: 4.3-3
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 3.9.3
Build-Depends: gcl (>= 2.6.7-100), libgmp3-dev, libreadline-dev, emacs23 | 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: 
 3c2ef86f4ce07f11ffc3646b7e94eb6fed6422fe 15251431 acl2_4.3.orig.tar.gz
 84449333d54b93b8f044d334c7a85f03b9dd621b 18297 acl2_4.3-3.debian.tar.gz
Checksums-Sha256: 
 da26affd74ea716e68262d8bd71489a365f937b6abdfca07fc77614c0c003a1d 15251431 acl2_4.3.orig.tar.gz
 938d0330d59f3971a8670016c9227c670a74c632d182c4fadb17aed4b45cc32e 18297 acl2_4.3-3.debian.tar.gz
Files: 
 022c91284da963f344a699090057ddf4 15251431 acl2_4.3.orig.tar.gz
 70de5d35a059386d3bde1dd73f27683c 18297 acl2_4.3-3.debian.tar.gz

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

iEYEARECAAYFAk+Rt3AACgkQczG1wFfwRdwtZACff1cCmjA4B/6M0mdoXGxMmj3Q
R1gAn1F7nxvuzvHCP9qVhBc5cV9Vrq7P
=WGNi
-----END PGP SIGNATURE-----