-----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.3dfsg-2
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 4.5.0
Build-Depends: debhelper-compat (= 13), 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:
 7853ff0012ff1c265599756cf943691d3a05c4fb 117260902 acl2_8.3dfsg.orig.tar.gz
 219e80581240312ef37d92e277c83b2ab4285154 228320 acl2_8.3dfsg-2.debian.tar.xz
Checksums-Sha256:
 e7322a6e842f862ae25a65cda43040828fe0ded725f4c45bcb04ae07ae492aee 117260902 acl2_8.3dfsg.orig.tar.gz
 7e1c8ad06e8be538da2c5d4728ddfa37d6b04b8d6da857c05111e67b4980d705 228320 acl2_8.3dfsg-2.debian.tar.xz
Files:
 c7205f24ed678a7a20282a95e3173fb8 117260902 acl2_8.3dfsg.orig.tar.gz
 d393ca4df461a7bbb2b7dfa8fcb8a8c2 228320 acl2_8.3dfsg-2.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmARdwIACgkQuEXOUQ+b
cU1Y2A/+P5A4ebluUOin0IP0xD3kLSR6PhF4CsrLUG1fvSRBYaNL/L2WGb96P9bQ
4SgBlxt0ciasG2OHBXtiWvq4LMzlfbsqk0D+BLx95sZo1z5zxuFeQKK8BRfKbXC6
gNJxTIJC/MHsSb1tLTN0jl+rqdVQwdMKyJBj5HaioNyernEcoLv77YVBK39vLnlw
oF/m5Pem15K9yjN2mfP0o41KyMcVpkjTW4hXp/I6rKbaXjOZHpK2tYvS9KYhfOfr
UxgSG0eDiBNOgmauPGyK/6PwlgU2N0y8xcL8ZBhu3lwTg9N01gHxQPtzjVEGOpuv
vM4llO0s+SwEWjt2KiCQ8GbWHPbuF4uVPI3sKls8Lmb/gE2vCPGX113eXybmYn6Q
hrJsCttkhWCN9Bf1uwrGGj2/ppZ8lqq4GXEn8QNUyGGj44Oew9o6sucIpB8gv5St
8GoKHH7+fgM92h3XKtUUytDvq0ON3AqY1XuJcgoHj91jmmzH2HBLcOvcrKaZr4cB
eWJHBToXPKa3Zc3ryYaKNFI0Au8AU0plHuEEL/EieTx4HKHoo8gBeZgV4GE/zgBp
0mATgGKARrf3o/IgQ5xL2nUfRkRtW0kqXnapwyeUav555zP7mt5K7WRmIawzKOXX
HBezc47CDFOa1J4o3cp9pCVRLbzba9GmpoO/NwMUcJnguLeZVRg=
=gziy
-----END PGP SIGNATURE-----