-----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-1
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.12-92), debhelper (>= 13), texlive-latex-recommended, time, tex-common, 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
 e839260c7b2da51b346155d579c926730c542464 312308 acl2_8.5dfsg-1.debian.tar.xz
Checksums-Sha256:
 6e9c7a3c75111429e8009369a28593aa91d84f668e7918980f33bd9996c1d819 223546594 acl2_8.5dfsg.orig.tar.gz
 cede490eeac501e1383593650e10de276afacfddf384040159674c008f0b7190 312308 acl2_8.5dfsg-1.debian.tar.xz
Files:
 ac4cf2aefbdbc7436cf745fa05b8d373 223546594 acl2_8.5dfsg.orig.tar.gz
 5d29d701bd490df640cf24fac58715d6 312308 acl2_8.5dfsg-1.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmLhRTQACgkQuEXOUQ+b
cU3MyQ/+I1li3GpQDUawo/U7AApWiKxToWmFYa1ufj+VY1j6wKXbgKYyxsx4htUI
0/SKQIpE57sUqN0vCYjUYi8umGjP8JOUwHe1+kNdeMYwLLhByNh3Sq5RYlDezVMg
3jDclWm5FmjhFtyxvOmC4LOLnq8+Glw/hVn3yyRIx3IPZbC0ggk/1IbcgTwhHczQ
0jOi3nj27mkryJE6nkgRQlfe0lcjxJ/GwOzerdDCr7rCoSoZhcZjxuF4xRcVmaWG
QXXks3fJ2UlP5iVqCBxqIqazfAjHHOlgL+xglvUEAwowkmM0zJY92aDnwDPQNEMw
ECvZuetA78zyldkwtO2Qd2PvqM9lqPIMduauEg9ZV8PgAg+cMw+l27SbOQOuQ3aS
r4YCQfo7Xmy69GyTWScj/hot2/l/Hqvt0XoMhNV8v1LiLnci0Sfty0upi2iC3EMp
utzvaQYYw9aY9fy/XZMWSCqHKPULWrh9TrnYmcqt0W+X/tu8t9VeVnzzLVm/Bmi8
SCDUtlZO83oVW0uvl5TKUmKLpx4DUzRCeuVwhhJ17Odqwdrg6MCKtmSyzt87Zi/+
isO0vQmEG9buMaXmk1WEb0Nt7dKJQNFzft0c+JK6khhxeWkptdGlSsciGQmNL3Xe
QPwfR6Ug+dPsdEe/HOARA4I3ClBQRqULchF/Jy+O36PMYBXHWaE=
=3wDB
-----END PGP SIGNATURE-----