-----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-2
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-2), 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
 791cd1375189a486587abbc2c1a31844083aeb16 312856 acl2_8.5dfsg-2.debian.tar.xz
Checksums-Sha256:
 6e9c7a3c75111429e8009369a28593aa91d84f668e7918980f33bd9996c1d819 223546594 acl2_8.5dfsg.orig.tar.gz
 69865d46fe26282938550d5ef9eb0f3c6fa34aabeda5d14e662b8c4733c71952 312856 acl2_8.5dfsg-2.debian.tar.xz
Files:
 ac4cf2aefbdbc7436cf745fa05b8d373 223546594 acl2_8.5dfsg.orig.tar.gz
 44d03e55678118c7a5303b62c05ba57a 312856 acl2_8.5dfsg-2.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmOkDT4ACgkQuEXOUQ+b
cU3HDw/+P0byxU4aih6l5jRJemNsJelxQRwAH2eJpDTIZBngJ5H1k0oXV6jwhHoT
hSv27udfAq//wXaARgrh6+3ANjLJccTbHjwUHF22iSqcpt470xddk2Mb17OTkdMe
fPVfLWu7zSyS3dVeWI+k6ibGTnCqXry9x+2EOYARZMBXUrGG9KiN2XayLJFqsg9f
2t+wbIRs1rjzCVUOvd8lpOK4irkx9LxB/b96s24qVuYv0Lpy9pPQrC3VQlPLeBDz
ys55Tk/xG2hHceKHUbVNyW5EPi/7yMCiZOMmDV+7YbZn/IbK1IHK/Ww2bmikJdRI
WN6oZKaf3lVVJIWqFZHqLtPnAI0r2Z0bkuEqsHFfywnl8x9qPq1CU6+YWSu2oHD7
J9AOvbfCjta/rfJVcn6zBmW7WgehpGjXlxed8DZy6HK4V7V3MlofbtYY5dUYltqi
H+3nnxlUYW8TOTIsicAuULO5IIkrBoc37D7IrRNzEZZwT9GaVWETvtss1h0fV2ti
XwwuYJ1udr+4KJdgFz/yhNZHe0P+czaN36+CnAvBXaksuH4ybNt7dS5tardEBCok
5GyyG/ZPdC5LzY9qZHx7bwjg56bmtbSOTM9J7a2YoWQMGAllulKKKB3fblFwXnrM
tAqi6ChLG2waOCbHa9YTFNajibgHCxqaeQn3Ud49OrIfSFuLvO8=
=espn
-----END PGP SIGNATURE-----