-----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: 6.5-2~bpo70+1
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 3.9.5
Build-Depends: gcl (>= 2.6.7), libgmp3-dev, libreadline-dev, emacs24 | emacsen, debhelper (>= 5), texlive-latex-recommended, libxmu-dev, libxaw7-dev, time, tex-common, texinfo
Package-List: 
 acl2 deb math optional
 acl2-books deb math optional
 acl2-books-certs deb math optional
 acl2-books-source deb math optional
 acl2-doc deb doc optional
 acl2-emacs deb math optional
 acl2-infix deb math optional
 acl2-infix-source deb math optional
 acl2-source deb math optional
Checksums-Sha1: 
 7444597f5003ef9d2a7561c414064a2d498a4485 14978744 acl2_6.5.orig-books.tar.gz
 c0125f43b222f40db98a0e573cfe5e1cf12d4294 6192434 acl2_6.5.orig.tar.gz
 38034a45c3c490097e274c74ca7a577e8d54092a 163474 acl2_6.5-2~bpo70+1.debian.tar.gz
Checksums-Sha256: 
 bb1b95a06f2e946f9610d7221bb97eb1be126a64cb01ef85efa69fafe9454c34 14978744 acl2_6.5.orig-books.tar.gz
 cf8c1c81a68429d1d77d6e23c9a84cbd0ec9e270f21aa04d00bafa761f656ea6 6192434 acl2_6.5.orig.tar.gz
 aeaf15bb72ebcbbd3ec6fb5381bf8a1369ad5993e1ffedb71b94450d397b850d 163474 acl2_6.5-2~bpo70+1.debian.tar.gz
Files: 
 487107b1ffcbae00232130586efa85d9 14978744 acl2_6.5.orig-books.tar.gz
 70fcf9bac3baca4abfd74fa6035613ff 6192434 acl2_6.5.orig.tar.gz
 c1e0fb5906aa8a2d5542fbde282959ea 163474 acl2_6.5-2~bpo70+1.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJUtpd/AAoJELhFzlEPm3FNkT4P/3Gxbx/KNYOywNMCQ6gQCvbW
4j5FX9+TKGHm/DP3WhaNW5l61thAokD/3pmlwLfRsDkRfQ3C7teM5ZECEdLMjCBB
lAQVLZ54d18d92nZ1GIpse4BntFLL4v4loYtJqPBvlXWLVjbIvBYvXYSeY+wZM6z
qmmdUd5KggQCjglxJdat06jPucdjL68Gdw9jfeWeK8BEhZF3SPpodNx4NP4kK0WU
Qtey1VM2/AK8j/tAMXJ536iSpbcBHmEteImqHuOr1w8hbSVhCTC4/Lw1EYlkVo9t
NhEXy95uJoG8Zs/lEnkBm1Sjsea3zOxa9MtcjGO+56Gfx9NMCxm8bF1zGjwixhKj
x9YP5iGcUM95QiF+fU9FN3RYoAWNgYZDSiE/gKcb6jrT/GjRuzxieUhzsY+OIYcE
Vw5sGR6GLY/C/wxHhe99XKMkK+xaChua3WEP6WZ2YaQykmZKeadzwIwhJD/6VfnV
matQgSnd2DW6hvWXfIVtx+2WR6FHKCL8664BSrCDafF74Vi+s8xfg9KRUMEoZBQJ
2b3nrPvyQfwTMyt9kmLWp7nhkUtmLaOv4FH1BkjO20fbty32Vuc6YL7QZR7w2W9e
/8ERRT19kWzOC2j9a81RfqXuxb60c1D9CXZygYb/fOi0HoP6PZNET4Z2+YMYAhB1
/4Y9xueVOXRhS/HttsFe
=6l8x
-----END PGP SIGNATURE-----