-----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.2dfsg-2
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 3.9.7
Build-Depends: gcl (>= 2.6.12-32), 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:
 a2f974590abe4f4bdf9fe91f6696559c2a163090 64411749 acl2_7.2dfsg.orig.tar.gz
 c38e1a244c5251b057b3adea798ab3dcdd15f8b2 203712 acl2_7.2dfsg-2.debian.tar.xz
Checksums-Sha256:
 f54c3a3ee8583a121b23ea40ac18258d10e9c11e13795665c63c8cdca762655e 64411749 acl2_7.2dfsg.orig.tar.gz
 f32def11bee52fc7dd3564f5a7f1fdc203a71b4a5e1ad5d5de4a885444935593 203712 acl2_7.2dfsg-2.debian.tar.xz
Files:
 980a131dd4ad821b899fe2c4bbedc56d 64411749 acl2_7.2dfsg.orig.tar.gz
 b7107b15f46a8431acadb933bef12a2f 203712 acl2_7.2dfsg-2.debian.tar.xz

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

iQIcBAEBCAAGBQJXKfnhAAoJELhFzlEPm3FNrE8P/0wa1qtUINqfARBG0M0hKW4c
phASDb+25TrWXJU4LNsAXk8FLZbnzffw3xOJX7mFvKS/dx0KhzkF6B4+oRizN/eY
QmBCLEK5AhDv9QIR5ogSzbSK1vJP4CA1L6GDa243kUESUDgj8uy+LCWXej0O4huk
IWqfJEr6T3biHthYtsMQMEYRL8w787pi4KXOhQyN8heLh7r0q97/VzH8rnpXthAq
xpj307A94vg0/jILvt+0rwnvK/KbFg9WiXi1//XJhIvPHmOllMH+7NVbCvqg7QpX
7dYmhRkbcAyh5WlhdVuQQ/riptF9ynwvdZ0pqLVTBuQvakx/JIJgNFh0skZCA0cH
wXTZhXAya7EmsthRB/o0UcjrZ6Boyh8h6xPgCiQi05bDYroxq9aszZ+P1HoaVVhs
L9YTwK4l4MgbFzuosWWSotrZpkFWnLH+rgXjDPC6F8UcRAQGggoOAHEHMMrL21A/
KVFeoh8f2Xp6wjZCenuOvCxLHTNResvWWc7musv1YpAbql9Dbve2q4dIUGLOBSlo
6DbgHcz6ejeIP8bPNehiEN68I6VckYc2S5haquPTnXMFYObGFlsGKr7M3XI4ZqQ1
7q1YsSv5UKjsXmDMq+KAEjSFJeqdAZqWdLgl4vGyj7x+UZL9YB7VaTsZz9Y08qSH
Rvp5aVfWN0SsT7mhuEyp
=z2XK
-----END PGP SIGNATURE-----