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

Format: 3.0 (quilt)
Source: acl2
Binary: acl2, acl2-source, acl2-emacs, acl2-infix, acl2-infix-source, acl2-books, acl2-books-source, acl2-books-certs, acl2-doc
Architecture: any all
Version: 8.3dfsg-1
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 4.4.1
Build-Depends: gcl (>= 2.6.12-92), libgmp3-dev, libreadline-dev, emacs-gtk | emacsen, debhelper (>= 5), texlive-latex-recommended, libxmu-dev, libxaw7-dev, time, tex-common, texinfo
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-emacs deb math 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
Checksums-Sha1:
 7853ff0012ff1c265599756cf943691d3a05c4fb 117260902 acl2_8.3dfsg.orig.tar.gz
 26aa912c0f639edd2e0d7d7904102881946456d9 205984 acl2_8.3dfsg-1.debian.tar.xz
Checksums-Sha256:
 e7322a6e842f862ae25a65cda43040828fe0ded725f4c45bcb04ae07ae492aee 117260902 acl2_8.3dfsg.orig.tar.gz
 ac7a3f7547564d050a79fe8feac7751caa943a698f55019f9374d79d89bea9eb 205984 acl2_8.3dfsg-1.debian.tar.xz
Files:
 c7205f24ed678a7a20282a95e3173fb8 117260902 acl2_8.3dfsg.orig.tar.gz
 edbc703d06451ccd787946d0c05ac9e1 205984 acl2_8.3dfsg-1.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAl9CsAUACgkQuEXOUQ+b
cU33UhAApP+pi7DPOuiH4+fENlNLiSeE3O9hu3pP+HBjAt5QIVrJC38vKpucbqmM
9kueoODjWgw426ZFpQZdIlw2wdYlLwjasVvRhJrG77p0mQF8yD7HM/0zcHeAdmFA
H4hrnGdY6BpThrRVnig72XF/raGuo3NNKFFvW9mEQHW2s6ESBcSam88QuGh/b8Ec
XpEQxZ5fPKgvAySAKCrKn9D3hUYRX5H6xT6MfZnQ/MYVLkZ40WxqeWLFzquWY00W
IoL5+i85UqL89M2rPgDB+KFsu7VZGj03121uuovO7/P7sImBPHwvdsFUMfx252Y7
RRFCg+7cHmEsPMX4/sfhfC/QS6anIQ111/b1+qkvOTuCUWrNFkKMdzO7LVIncWhx
bxjaAlVbqXlbGrpnOmG9KHpmqHeNQUiyHAXZHm3CIoKZib/ipM9kbV2J7aid1uRJ
eNooOSZgFpsc9LMDEi1jpnCfccVPVKMBkRCZZNh4XHVEGtjkb8mm6sLsj17WAHLK
o1EqPKPzm4U9x4kIzaYl/fhD2AK2brByOKSKlYiLgtPKuJxPxSAeM9TE5ktqg2lI
z3biFcbgGTPh25dQYtWSfjxi2Ze/UxLnjy6BjWU0jDgWbmimKZpEozrs1fEAyr16
QdRA2vFnOSNsah0Td5x4vORmveX4QtCTGpLuLQ9laMKCxi8gsOs=
=m2Se
-----END PGP SIGNATURE-----