-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

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: 7.0-1
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 3.9.5
Build-Depends: gcl (>= 2.6.11-6), libgmp3-dev, libreadline-dev, emacs24 | emacsen, debhelper (>= 5), texlive-latex-recommended, libxmu-dev, libxaw7-dev, time, tex-common, texinfo
Package-List:
 acl2 deb math optional arch=any
 acl2-books deb math optional arch=any
 acl2-books-certs deb math optional arch=all
 acl2-books-source deb math optional arch=all
 acl2-doc deb doc optional arch=all
 acl2-emacs deb math optional arch=all
 acl2-infix deb math optional arch=any
 acl2-infix-source deb math optional arch=all
 acl2-source deb math optional arch=all
Checksums-Sha1:
 44872d6ffa394d8456e700708fa7225b1f9490d2 58301172 acl2_7.0.orig.tar.gz
 f405419dd0c2b9594d1fc05a82b907da6929ed0a 128864 acl2_7.0-1.debian.tar.xz
Checksums-Sha256:
 dbbe63ddbe342072fa0504e05f9e02fb01bb654b6befcc1e34ba7ceab2b1e0eb 58301172 acl2_7.0.orig.tar.gz
 f4942184c3c1a5ffaf23e5ecdb5b71100599423e41627886159bc71eee75b946 128864 acl2_7.0-1.debian.tar.xz
Files:
 092a3797aed16b680910d626d9d7958b 58301172 acl2_7.0.orig.tar.gz
 66d0870b02727c1e9d1ced7a1a35a52b 128864 acl2_7.0-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJUxvfCAAoJELhFzlEPm3FN4O0P/j1uDs7kRZsv6fSUxj0C7C+9
l3blhD5giKjSA9kSYWTGcW75b5CN58Mn7LAQtOfCgsMCcFm+x6nOo72CIbW7GbvA
xQeSwZYjfL+6sQxYqMazOI+lOwqCCzVj8ekOTtH2AxgbWKNT0zS/raIc9Ng5BsQl
Ee04ftPX8GK9PQH6cKQ/D0vxuzqylV1P6skLlDeGGou2wVRVYAkdMudhTM/6RMvR
fiJfMbpS5Em9PPobgOuw2/ZiTQfQfFmreBf/O4Ug/6WmjCW0iGDwvVFvwByh8x22
BSesXzsx7pxMPGJ9dFCryvJsX2Xj7WyVrd4+eoIa60MA3nq9uoYj/pwHhSXfLCnf
rVJOqBQLa40oMYONgjOdd6aIGbYVjQUzHCaBEMQ8oPQKOc6KeFhdjbznOaHUAQJs
LdtWs+HJBOVGgY9v/hOgEjIy3v0EPVuLG45v6n++w/HpdU3Sfz+W+0AobINMRDYb
E/JH86EZP9v3a7WrnQ50sTM37M/6p7jxi7PvXWqKop8XjZnjZikFX4VQ0CicOthC
jfv91P41nQHy0RmuBQLmeSLxaXY82pFrJo6LTjSVSwRR3F8SefSJozg6uIZW0Wud
fI7wL75fivARtBtJAQQl8u9ZPJh0bX0wNHQ/62umnP43ZCJ+7Tkj63oluZVhBjx+
pUPJHUyOnujO4ZeftE1G
=TIou
-----END PGP SIGNATURE-----