-----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-1build1
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
 e07e2ac218868da28cd9c05a95211ecdf6e7c8ab 204812 acl2_8.0dfsg-1build1.debian.tar.xz
Checksums-Sha256:
 e1ec509864d0ffc1235cf727ffac1ca0d8cd7f9ab4915cc71ceb4bdadfdcc145 77635571 acl2_8.0dfsg.orig.tar.gz
 08b9faf3b4d477765fbca943e711f2ce61d31ebd8ee74eafbf8aaa179d7acf42 204812 acl2_8.0dfsg-1build1.debian.tar.xz
Files:
 05144a9a066802e76ba4fa79705cd917 77635571 acl2_8.0dfsg.orig.tar.gz
 364254fdfe107d048c0093b754f5b38a 204812 acl2_8.0dfsg-1build1.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAlw9vgQQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9SVzD/4h6dOCfmn07+Ghrx4QeAk/Fa44Bvqh5KN+
jnqlLd9Hp8MGNqRNU4m+omEY2a5SROgyaF7Rxm9gxCaZ3NdKJ302haNaU0o9Du5R
34vAVGpBLa2lV9AbsFKFc/7DdfiDp6m6hW6iNYjQoLQjyTZ9XlFdMDwQTcIj49rq
+RqKwvQirA7iy2eC5Z1fXrIiJfIcg0zR314yUve/AL+ZBCcrORg7HJIMl05XNUbo
b/X7QMlBKEViXoNwgkG4wLDq7Yf+ZSmi09iHZexzVqBgMltzzzfOM0SU+6n26JqE
TXWuqPW64wjXA4QoX7bXzzNCyR8UxGsfZQu4xSrlHfahy/IafhtTfaaooAhzB2ZB
GYutCX8Y9t7ow9iIhrmzSD0TGB/Uypk0DoDNN960MC8OZWUSPZX2FwjXSC2iv1+q
WFBqaFaM8S7X5TYxIpg4Jgs1yDrtICapOjvshiSNuXwUQQj8wiL/i5xENrztQjl1
cqCmXCzfQj268gRaueXRLsQLjKHoS9aLfYQimTMFn3xKjgJ8HLQgGyPuBx6fgvo5
HjGV+f5Jut7AKGp5dY/hJH2qHqIe4p4FOniCgr40ljDhZ4gVP7MtUVEtb1ldMeSg
cJ8YMt3JoHaIq+kgpNb1OcrIxijXopWr71Q39YqHaN7FJ+IjyeQVcPtvbCX5nFx4
pO64IpaJQQ==
=Kp3Y
-----END PGP SIGNATURE-----