-----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.4dfsg-4
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 3.9.8
Build-Depends: gcl (>= 2.6.12-57), libgmp3-dev, libreadline-dev, emacs25 | 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:
 f4d2228841178628baf46fcc8ea7f596d9e46950 65270638 acl2_7.4dfsg.orig.tar.gz
 3ba1d0a96aba331cbaf56cacde66031e7217c749 204672 acl2_7.4dfsg-4.debian.tar.xz
Checksums-Sha256:
 ed552f85afa580904a97fed43bb7d8bf3fe2dc15caadb4e308db0dfdc7bfe84b 65270638 acl2_7.4dfsg.orig.tar.gz
 4a15275e7311a0f3f602c2ecc8e9d9e27dd6eb8214809354c3cf7b71d955d7e3 204672 acl2_7.4dfsg-4.debian.tar.xz
Files:
 65cefd7c81ad258209418d9659a1b853 65270638 acl2_7.4dfsg.orig.tar.gz
 2f545a18a1bb05a1f36f9583a8a15667 204672 acl2_7.4dfsg-4.debian.tar.xz

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

iQIbBAEBCAAGBQJZqrdTAAoJELhFzlEPm3FNmGMP+Kq7P7OCNRQUIFQpFD50jBXf
EnrC7d2dUT/QJnSM9IMI9xXnRUvmpTdazkJfDQ/T4tziU2M9bL3/DTkC+1C3lIUR
27BfwRLgHOlGoPpK8RzivYujjRgNemJLnHBTCYq62/v/r0ZpUbzg7LjSYCTJe0rb
r6yhZSum/9l6lXqNvgwaADFS+TbrE+es/6NIcq0wQokHdWQATJYV0WbI0jROdpPx
qwDRfGJj8rKT5bskKF1Vyr/VX25ahEacRxE3Ulad2vhATfukDiNQQyeeXvB/ifrl
2d552HCCRi1z/Xd7EdOQD4wYMffIDVEgd89Xjc2NU7kiPikV9gWagXXgFDp3A+aP
yhFFKYwrS6FAvTcEKNHN7G30HHhdZXTi2vpgGBa9pST74v2/qwaBLljgj5yhCgcO
GxtnbISR1SI9AXCYsiWHmPhl7SG+rGpk6uHdu6GViqD69+KdgugMk9cneASfI6mG
euV1ivJNhOmATTiVlPc0r88sp0jJTRHLSAer5Zbt4uugDyibK8esevEem2AF0eJG
pLjm0iz8Ur6Ya87dvp9jxkf4xSn5uJptX+PRGXDSU7DPfLf2K+qsAdbobD35r9+n
pH1OEVGxqilw/aGEbfxGpyb2ozD4Hj08ACKjH8gR61+ycV2eyjuxhKfmZzMIGZuZ
g/nu/gZhAJQWhhYlhDk=
=KFda
-----END PGP SIGNATURE-----