-----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-5
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.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
 41b11782380e7becf6a5cf1222bee0fdcac5b42e 312896 acl2_8.5dfsg-5.debian.tar.xz
Checksums-Sha256:
 6e9c7a3c75111429e8009369a28593aa91d84f668e7918980f33bd9996c1d819 223546594 acl2_8.5dfsg.orig.tar.gz
 68b7e667901b0b77e27f9884f8b96b5571858a1e0a3a38ca3289440f39f93008 312896 acl2_8.5dfsg-5.debian.tar.xz
Files:
 ac4cf2aefbdbc7436cf745fa05b8d373 223546594 acl2_8.5dfsg.orig.tar.gz
 217b5de7bf23c4901da5c804eb348d30 312896 acl2_8.5dfsg-5.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmPEpfkACgkQuEXOUQ+b
cU19aA//a9JhcVzZenXyFtw7vygCQoqnP5a2v2h7Ad02fBXb0mNvufthY/z0cyO0
Gz6KQzAZAnSnMVWFzdEiaPevtR4B1znXKFTJaTbWvCftEWmFa0r75OtQbe+VSG1o
abKbeXEHM8fT2x4Ode4HPvbtii7re2jFGnVD9SG3HkB9dTUyZz8St8v+NQBcy6JH
HfxEJx1E19V6OzCCj4K0LQR9Tar4oDMrrIwrxGRtD0avf7EbPOXd1ug9DKkeBac4
ChehBzxhVpXr6Z7FqLnPyzegru0YIEQqjJWA1erLqtEN3a1sKNhI54qrg2Sd8Dpx
lBdLC1g3XBtGgO5tQAV95k+LczOGV9aJF0EB7/rb+UL2I2ZrPyBMTL3EK0zyCWGl
Hf0iuPrA8Os2JkYE0xLSIVk2Vpwxwdg92VfAEZMHpzlijMKtsHfdDOGhBzsB+/KN
w4apID1hRr9AYWGamTuAiOEgT0ZBi/dzijplikGV1l3TBobpNMVJbMtxfGJpQfNO
GV1J3BYmqb8BUrd0j5XJrPJieHI3PLlpB4Z5wYLuDFovmzEs+2mmuQ3jae29yBVt
tv6w8GM1bZFx+khBwu1h7x9K9wclmWMOplP71mkPdzn2knbo7i9d5scYMN1+uvmt
OI0UUowI+47/y1QqxqZVR+ReA+DaJCLUMFHNCz6ahUxhUb/87AQ=
=uRvy
-----END PGP SIGNATURE-----