-----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.1dfsg-3
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 4.3.0
Build-Depends: gcl (>= 2.6.12-86), libgmp3-dev, libreadline-dev, emacs25 | 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:
 dc8ffcae23be62d6873bc625ef28e26a1a0bdb3e 78970801 acl2_8.1dfsg.orig.tar.gz
 a04dc3359939f850bfcb69ddddba96f9eb27a5a1 205156 acl2_8.1dfsg-3.debian.tar.xz
Checksums-Sha256:
 24ae60c24ca40ae7fc92db567e58fdb717a7f4d235fea51286a9301a7d91003d 78970801 acl2_8.1dfsg.orig.tar.gz
 36d12fa447d348b8b5a0bcb76f85acd6a39a8302c9e10ef880751baa3ad6c0b0 205156 acl2_8.1dfsg-3.debian.tar.xz
Files:
 9084e3b9da3fcb36386e84ed0d84d6d9 78970801 acl2_8.1dfsg.orig.tar.gz
 91912753ccb6a7c39f4d2f2241cbed8c 205156 acl2_8.1dfsg-3.debian.tar.xz

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

iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAlymA4MACgkQuEXOUQ+b
cU2EUBAAlTn4vn7tK7a/ZQXJLyQEFBavhDhr1ZG5muqlazOaO+5RXK2Ey52PgpB8
C+S0ziWQNWbJsPB6HMoPcUSTaczTwZw9lPuUt1JCAD6CjJzJhV7c0t3VrCduYkjP
v8nZroto3cXfCo7O6EsOeL/h/BfN7GIKsBPwi9qxvrXKXIlrnLp7YAqBFGKd+it0
Pzr81euwovwVCqzktjz5UfoXJUxITpfFg5g9E2S89N1rAbh1GR5MH5oCmjMS6lsh
jJ8OZWZhSO20MF+4bHpgcsD5u/5PxoxFtZccaAAiHvTe5A0FHam4DeT3FwLlGYRd
JFx/YAr+AQQ5SXh3h6WWV2pgvSNSPkQeONnkg8uWFUezbURSner0bLeY+nhQDLGr
T0IA5Qm7m66UPPynduoNfC5TCKgAnGuPdEMFp+3VQjWop9QHLwo6u1o00bDEp566
BlncnHthsRwhccCwzj25izqRef+w1S1r5lo2jqS+1GOHwGYaOs5djwVtCoZiSg6T
y28ZjG8QeQ+rS1PSi84+d70DvNo2CoKnunm2UBzxCy3HAhcbeqgdBx2mwhYy+QZJ
GK14n8e8bH4ucYflzJ8agab0b4OlGstjtS5WkM1pyEMNiqkL4Cf3gHXC2AihYrqt
qCPIHbIChLlArl7k2s2y2UL3EXYAb/6fPaKXhd+arRmXZP4/8bE=
=WpDI
-----END PGP SIGNATURE-----