-----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: 8.2dfsg-3
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 4.4.1
Build-Depends: gcl (>= 2.6.12-92), libgmp3-dev, libreadline-dev, emacs-gtk | 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:
 148b86468f6494a82d9d040b6d91fed1a5666220 80652725 acl2_8.2dfsg.orig.tar.gz
 fc6feb294cac7138f7b69c6462d24ed8565814ef 205976 acl2_8.2dfsg-3.debian.tar.xz
Checksums-Sha256:
 2548331764e904e00d654b5d703b6e0b43992a1716a40fd8f5ac322052cef987 80652725 acl2_8.2dfsg.orig.tar.gz
 75864706cb9645c6d1eeeb2c031ab5765e9fb01ef5bb40b9ec96cd66b32fae62 205976 acl2_8.2dfsg-3.debian.tar.xz
Files:
 4bd6052c4c4ce3a7cafff83413c7049c 80652725 acl2_8.2dfsg.orig.tar.gz
 3fc60f60b888eb6ec0484040b804e2b0 205976 acl2_8.2dfsg-3.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAl4KqhgACgkQuEXOUQ+b
cU1Yxw/9HJRukujf9lqLy2ZQ+CKVkbsDDb+IKz99LhTyKpmSOA1Snqxg1j+2fsc5
e+Vr//01Q2UfYAwOco0Gdw5mlLKOM98sbeaGhKMsZW4bnjdxI2geq4ApJGz/TUMu
u0PvokcgSLNCWUAofYdkWwPPB2/zn3V+ras/D3L7NLTX35QRx0mAkeZAeK+ZkUDq
9YEzk6la4IkMyPpPcOWIVb/pHnDBZgNclUmz7e81doR8gT0wF0Q6U3r6uFFHQKcA
DERPcazD+JC7brNboeto+iwklaX0c4v8MzOXYqSpgZ3rEki3ED6+MTL/3wJNGjAy
knkCc915ttewKTNJBLdZSydNsd0IwJa1DEMUCqed/Na01YbjnhE0JMPzO8T1YU5N
Kega058EBUnnjVFwh3KVneOLO2wgkOSfvdsAXsRxTyZ0V4X6veyqU0NCzXoZ5KBO
ndu7XNqE6XKum3+k9Mq8/ohfshoozQRd9BjpY/BtREZcnlre0BP7aDNL3Os60P9c
/AwjTmKdWoxORkjJjPsHT5hGAsrF2TeHimew67twQTTUfD9M9z22tBTFwMunVytd
E9krkfQcIwMh5kzcpK53jMCtGWEiH2sQYx2FAXdcaCnSCdguJIgFIVt7AW+WMxeT
RECpD/ijiuZlPubQdIQGXN2UpxWNWowlmIIaIjGU5oXKUABazHw=
=ItBd
-----END PGP SIGNATURE-----