-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: acl2
Binary: acl2, acl2-source, elpa-acl2, acl2-infix, acl2-infix-source, acl2-books, acl2-books-source, acl2-books-certs, acl2-doc
Architecture: any all
Version: 8.5dfsg-5build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Standards-Version: 4.5.1
Build-Depends: debhelper-compat (= 13), gcl (>= 2.6.14-1), debhelper (>= 13), texlive-latex-recommended, time, texinfo
Build-Depends-Indep: dh-elpa
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-infix deb math optional arch=any
 acl2-infix-source deb math optional arch=all
 acl2-source deb math optional arch=all
 elpa-acl2 deb lisp optional arch=all
Checksums-Sha1:
 2c44f1f16e4d40bc93ad07e38dc2b7eb6626b28f 223546594 acl2_8.5dfsg.orig.tar.gz
 bca87d07588ca29c7d0efc21e22ede07fd2ab75f 313036 acl2_8.5dfsg-5build3.debian.tar.xz
Checksums-Sha256:
 6e9c7a3c75111429e8009369a28593aa91d84f668e7918980f33bd9996c1d819 223546594 acl2_8.5dfsg.orig.tar.gz
 4fb14d3b1a83741437778df30d1aa9b6db595a821235a5b401e4f67a02fefc6d 313036 acl2_8.5dfsg-5build3.debian.tar.xz
Files:
 ac4cf2aefbdbc7436cf745fa05b8d373 223546594 acl2_8.5dfsg.orig.tar.gz
 c643f77093e836d9bf8b1528ffdede7a 313036 acl2_8.5dfsg-5build3.debian.tar.xz
Original-Maintainer: Camm Maguire <camm@debian.org>

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

iQIzBAEBCgAdFiEEoIn7Nqr72tWswTJQafeQFxohCYQFAmYKP+0ACgkQafeQFxoh
CYSU/A//T4m1F42gFZCSjevpR7mOEirq062v+3gXr3UOoTF6wG+Gqztjxu5yk1ZX
sX44HNwItITbcC6Q37w3mz7febCfGlCaxRmS/4tFhKfmwntvh7OJHt2urEwrtZCB
YrVY10FemFi9Ab2MCPWKbSZPeCh4FQMvOFoBAy+tX5dH24EQr4rjEa3qTMtNZBJP
mY0/ik3Kx+xK35GPA9iLiHIYfivLRJ1cZbIHCQIvvg+PfvSX6vCg4Ejo0inOyyNB
7FRkV3XzsQvr1JcTG/KqdRSh4QHNfJKBWpR/o+ml+0jwLrlzUb6UuRO3P+ixJIXF
SHnI9PtqUtmvH+sCbmphnywMZf8Gy6ywU+HpERdC7+YUddOp6rYxUa0Wwj7S/QCT
yo5c/BPDFSXA1DvyDWPMt2HGFkne+MSvHanXtCiWg0pQCJDCiqvMTlM0iKMleu/O
1Z6I9LIWnDHf/UxoD6oRW2XPxGiEEDcqbjgkydjwva/Tw6reasmloGSwEAYLW+Mh
6hl9XtFgKz+VWVc9aCj6KHX/nFUxx15ledmAH12vORZc3SDbxW2dSUa9wO3RfQ8H
xIi5wiDmi5UC+8941sb5T4y/5eVOXHVxnYbzmIgJJgyd3SlG8TLMMJADM5uH3iMt
rInbEYfk4HUXdk1p8+XoqXwDMkQVKgPK8uZTzwrZM34MCxP0+H4=
=56G4
-----END PGP SIGNATURE-----