-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

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
Maintainer: Camm Maguire <camm@debian.org>
Standards-Version: 3.9.5
Build-Depends: gcl (>= 2.6.11), 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 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:
 7444597f5003ef9d2a7561c414064a2d498a4485 14978744 acl2_6.5.orig-books.tar.gz
 c0125f43b222f40db98a0e573cfe5e1cf12d4294 6192434 acl2_6.5.orig.tar.gz
 1c1ab410249e9d8a6c36dd854b0d4dd3dfc5f968 128268 acl2_6.5-2.debian.tar.xz
Checksums-Sha256:
 bb1b95a06f2e946f9610d7221bb97eb1be126a64cb01ef85efa69fafe9454c34 14978744 acl2_6.5.orig-books.tar.gz
 cf8c1c81a68429d1d77d6e23c9a84cbd0ec9e270f21aa04d00bafa761f656ea6 6192434 acl2_6.5.orig.tar.gz
 a0858f9ae376186e143a8e38f41d53df7b9a13f2db2fd72713d2558dd727791d 128268 acl2_6.5-2.debian.tar.xz
Files:
 487107b1ffcbae00232130586efa85d9 14978744 acl2_6.5.orig-books.tar.gz
 70fcf9bac3baca4abfd74fa6035613ff 6192434 acl2_6.5.orig.tar.gz
 e4c5adbad2cee8669e8c54483d8c2eeb 128268 acl2_6.5-2.debian.tar.xz

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

iEYEARECAAYFAlQNvS4ACgkQczG1wFfwRdx1YQCgjJ99m52m9cxyUJgzCpQLFeva
oCkAn1xeHMbcMfExxobdEZp2ZvdeCmrP
=oF/Z
-----END PGP SIGNATURE-----