-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

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-5build1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 745c0956fc02d76746734d4d20eb2a783b757167 312956 acl2_8.5dfsg-5build1.debian.tar.xz
Checksums-Sha256:
 6e9c7a3c75111429e8009369a28593aa91d84f668e7918980f33bd9996c1d819 223546594 acl2_8.5dfsg.orig.tar.gz
 36884f9080506cd30704dff8ce88c6f26b6792f95c6640291740a43d9101f6b6 312956 acl2_8.5dfsg-5build1.debian.tar.xz
Files:
 ac4cf2aefbdbc7436cf745fa05b8d373 223546594 acl2_8.5dfsg.orig.tar.gz
 1a762931fd1853674504d3d619d4d20c 312956 acl2_8.5dfsg-5build1.debian.tar.xz
Original-Maintainer: Camm Maguire <camm@debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmXgTBQaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz0kzg/6AmcXMFvvRLv5PqqHZnKb
1jByr1DgfyMSTON6+v7mbF5+LPCYsdtC1Vtv4lq1GMSneDfF3etgSUE72gJPLmiA
iPeMUtWWNfFHhSB9dtz99GNVLpb/UYXPbIqG43VA9twbASHUAFQLK54szFwq3GZ/
2cooAEFy97LpXhbZSVu8Fo6ccBoiv5/5eqEdUg8KFGkcjZZ3smTeAFkz8d9pY2cu
/UrE4Htg++p80QZH0gJNVlgnt4SELGuqISoO67mRVj0qmMfUiO2lNHj1XleioQpW
lvSMRMq7L5htYls0nG1vFQoZs8RFTEPKkhbDr19Gnec9LE+awzcFhWN7/CXokeMP
taWvqY8rikapSRR6Klnm0s2mxID97WckN9Pq72eocvH3rtoV/xY20gNR1j6mt7qZ
vZtl/FdSYkTkNYLxrNDAAvqGwr2bj0ImF7huJCaLNpZDIcnDNUTeH9htmkmbnmZb
SK/fXhtt3mepbhQpzIXvniv26/qstbwMpss7OrOcDDxH1XTjPoyBDQjPjw5du7uq
ZEutrXXeUUvN7tFRGzZrrBWX4Vj8SD3rji0AG9auWQ7w12F9fwBfd27FipJ+JM61
KaMNOy21s1WBrkXdK+m8MGeaKCbN1//jnqU9V+V+fm5dk0KCWwjGvHZguwifW33Q
i6aYDVHc2rULSRkQu20w7gw=
=MPFE
-----END PGP SIGNATURE-----