-----BEGIN PGP SIGNED MESSAGE-----
Hash: RIPEMD160

Format: 1.0
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
Version: 3.3-1ubuntu1
Maintainer: Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
Standards-Version: 3.7.2
Build-Depends: debhelper (>= 4), emacs22 | emacsen, gcl (>= 2.6.7-36), libgmp3-dev, libncurses5-dev, libreadline5-dev | libreadline-dev, libxaw7-dev, libxmu-dev, texlive-latex-recommended, time
Files: 
 ec026b72d47d839539ef152ba0784c27 7318498 acl2_3.3.orig.tar.gz
 106334ce477ba575d8d29541362b7852 13693 acl2_3.3-1ubuntu1.diff.gz
Original-Maintainer: Camm Maguire <camm@enhanced.com>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.8 (GNU/Linux)

iJwEAQEDAAYFAke3a4sACgkQo8/XfXdugupnzgQAyGB4WqSaywHakix11q7CzqYZ
j/C+UM+AbrYTFWs/QzVUSJJfVaEt2WR0A2EAdAzNr6zktEPJcMWiotVkz2zTSY6U
qsvB5KipxKUYX+Cvi8nLfQR+b0MVnV+8g7KUKoeT5SfloUMHH3KMZK2TxtUJx/ui
Tm6ju8VhEd/nolqoRVg=
=rcVX
-----END PGP SIGNATURE-----