-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

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-3
Maintainer: Camm Maguire <camm@debian.org>
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Standards-Version: 4.5.1
Build-Depends: debhelper-compat (= 13), gcl (>= 2.6.13-5), 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
 874f0f54494698a59c4edf2dcea3290445175310 312868 acl2_8.5dfsg-3.debian.tar.xz
Checksums-Sha256:
 6e9c7a3c75111429e8009369a28593aa91d84f668e7918980f33bd9996c1d819 223546594 acl2_8.5dfsg.orig.tar.gz
 2cfbdf5150c8ccea338b9f26571d9fc4ca299a76643e5f054d8ac03e8de114d8 312868 acl2_8.5dfsg-3.debian.tar.xz
Files:
 ac4cf2aefbdbc7436cf745fa05b8d373 223546594 acl2_8.5dfsg.orig.tar.gz
 9b15a06b48927e5d923fd791cf21fa95 312868 acl2_8.5dfsg-3.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmOo2gkACgkQuEXOUQ+b
cU2yMA/+Jr9+/OHFKaqNVuH+32T1RpYSWqU8wIUacsvEanyEwFYaDTHlL1haeOYC
z0/7+ItAlpLyQWpipCKUbGI7ptEdpMC/FkYpbU7oaKkb2cqba9PT4NW1ZNsbWXfW
PnVHyC25m/dMyBd+M2H3JqUN4GI//dauCt1XuHRmkyZMNke7Z1Wan4qtToilYvZG
L4GCqRGun/rzG+7kmt57FQDSRi8oNByXwWZhU/lwUhCcVAjGwZmljHpat7I4DBV/
XIyK3pcmQ5dM/oN0QcU5OjAPgUfkZapGkgA/L94bcji2jNuhplAoeSIjEizSyjvd
eKv8dqVPLCtrzf++jvK9u0fm7/miAIL9+wTL0gY0/sBRIsZBGwnWESllsPjin40E
EwBOl4BY4MLCLZPozkvS+6Vma2AH9/EIqOaQ7UpGm/pEgk1NuwjAvjZCxF74T7/O
Cbs1sijseNrQmUzEXwPTUJ2ft8Q6U6xVUAgtHaq5CQvp8A05jbC1gRPOa66x9RKc
LPPPelS5ApXhXDedlewT9QAV7idskZpzgflzkFAa1w/ZRvvsINfexXEEXZJ3YmbC
p5MmMt0bYfwJn+wsaRmOGUKaI36QlQ3XX/UOHbFYvca+x+nVGj+w+hwlv3XtyN/z
9Sdm4KlqoAkJfSzw5mMMTRbKr6Iddh++Ey/w6eV/ahjzAAtb6QQ=
=Vy/H
-----END PGP SIGNATURE-----