-----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.3dfsg-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.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:
 7853ff0012ff1c265599756cf943691d3a05c4fb 117260902 acl2_8.3dfsg.orig.tar.gz
 48820db546529060c1786131fe110c976100618e 262612 acl2_8.3dfsg-3.debian.tar.xz
Checksums-Sha256:
 e7322a6e842f862ae25a65cda43040828fe0ded725f4c45bcb04ae07ae492aee 117260902 acl2_8.3dfsg.orig.tar.gz
 32628de41b9bc24ca61e2b75534606286e332515a3526bfd73b0cd568aa57c61 262612 acl2_8.3dfsg-3.debian.tar.xz
Files:
 c7205f24ed678a7a20282a95e3173fb8 117260902 acl2_8.3dfsg.orig.tar.gz
 a6edc4ae413c72119717e63a3d7a2e82 262612 acl2_8.3dfsg-3.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmAj6JAACgkQuEXOUQ+b
cU0atQ//T9NgVrAL2RBMsCqm88mxOoYrQcvAPue3RiXgkpS6BazPkiez/m0yhLyy
M4EWLpqCd/6JVk08LRygqYZ2p2a07y6GXFoSPUwbzal3WWmI5wqc4UM2l4IXgFlb
F8SDnW1YSiBrpDgi7H+pW/uILeTEMYhhIezt7A2gULWxoNbHc79We2J0G1QGmCQY
ebTzlXgenm8m99unHbw4x1BkEmC0IdYjZvwtetPJtDYqSDFRgyuyb5LxjmhCd1bt
AjHFGnO76r1xrV2mR97wXSziSv2jzKLJi8IeGBROFiGAFkzcsehtcvYEcT62DS2S
XJu2ZH+euEtDfOeCLShWVpmxRkeTaXdAz3RZQjE4i1YNgmOo3thhVpLIBf3pO+G0
jh29HAdytkTpD9Ef/TN5G2zBMzizfTSxPC9L7eTlOkcIfWwWWbptGGUNaxPfMmO9
V/R4crzMffdn/Qb8ZwtnmghBHop7y0D14rYrmSK4DuzHk8TgOzOXdr/xNt4Y+DhO
xhjEsBDaWgbFLV/VA3J9qBhIPFRICY9U4oVNY0MBjtWL5EIKohmFprmxjDgaeaHI
acEY0AzoHQG43DzC3qu8G8dmCU0q3UfrewokClA3NckFKqLzKTRzbwlGNjm2hVYT
FtBdHYGc6k+EWOHhHfwO+be385z61AYlGHK7BV1ylDnWo4BOwTQ=
=xA8O
-----END PGP SIGNATURE-----