-----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.0dfsg-1
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 3.9.8
Build-Depends: gcl (>= 2.6.12-59), 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:
 4cba7b1c706f454ee889aecdcf870bbf90086d42 77635571 acl2_8.0dfsg.orig.tar.gz
 d50bac5e3ec2d9d82be7b7d3c9ff1f60f3911ac4 204760 acl2_8.0dfsg-1.debian.tar.xz
Checksums-Sha256:
 e1ec509864d0ffc1235cf727ffac1ca0d8cd7f9ab4915cc71ceb4bdadfdcc145 77635571 acl2_8.0dfsg.orig.tar.gz
 9d041ee94da76dcc1dfdb0f3bfdf913d96beb410b6ac4a00f1f145fb44d39ea7 204760 acl2_8.0dfsg-1.debian.tar.xz
Files:
 05144a9a066802e76ba4fa79705cd917 77635571 acl2_8.0dfsg.orig.tar.gz
 dabede6da180854223dd1eeb4b24abbf 204760 acl2_8.0dfsg-1.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAlpZcZMACgkQuEXOUQ+b
cU2u4w//arvKPuFR8GjrEcIqrtPLO1TlKV4M0/ufmt5K2kVQC84XQh7F7xmeMfUj
GoUBkm2c5RhdsTA5EmB/i7oujJrCNvVSG+RXVsRl87Kx708+LvishdivNRsF3pkO
0vhLCO/cCuhZgITSZj6t6vBj5h/l5Z92iXH6ajrKUTRhM/Dgrj/F+XdAqZCrEHHL
DmoLbOZ4XMoUuhd/HmuryuFUGdrPS1bwbzEkIzC5Qcucu9G3lgMtjXj7b9/vr7oI
PHIjZe/PU9XeXZFZy42eWMR8ifZi+vvMdkm82PD9FhUqlpHmc3J2rK/78pjjiAHI
PRuWJFkm1RIqZi92ZjXBqyZ6ypqH9CUWL6e9hTvQ+L0IT8Mr+UbsvbikKDGl+r28
PWRRamP76aPQ7QD5mhcYLNussNgf/Pp6dZyf727oENvwPEWWjAYhFIYtkf9M6TOD
6fYk0t7N/UYtgXVPEDWj3f2if5PXlb2s5yUfBKPVtbJ5PIALUD1bg34YwMMeNTCb
s4p5LsmP9ykp3Q9Qz587GhMnHmJZk9uPAGB68h+sIq7Zpm2yWobpN/7Uen0b4Krh
uWnmM1BUjYtDOAtHI+wQCIRVpSKX6xI1urRzL5TRxL2GUNRQRJlrP8BrUSV4p6ML
eOi4A4M+2GKpVuzuYTlmeM4ZZS65Or36vLe7h6ALxTfwimqway8=
=RB8Z
-----END PGP SIGNATURE-----