Accepted acl2 3.3-1.1 (source all i386)

[Peter Eisentraut <petere@debian.org>]

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

Format: 1.7
Date: Sat, 05 Apr 2008 18:49:49 +0200
Source: acl2
Binary: acl2 acl2-source acl2-emacs acl2-infix acl2-infix-source acl2-books acl2-books-source acl2-books-certs acl2-doc
Architecture: source all i386
Version: 3.3-1.1
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <camm@enhanced.com>
Changed-By: Peter Eisentraut <petere@debian.org>
Description: 
 acl2       - A Computational Logic for Applicative Common Lisp: main binary
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libra
 acl2-books-certs - A Computational Logic for Applicative Common Lisp: library certif
 acl2-books-source - A Computational Logic for Applicative Common Lisp: library source
 acl2-doc   - A Computational Logic for Applicative Common Lisp: documentation
 acl2-emacs - A Computational Logic for Applicative Common Lisp: emacs interfac
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interfac
 acl2-infix-source - A Computational Logic for Applicative Common Lisp: infix source
 acl2-source - A Computational Logic for Applicative Common Lisp: source files
Closes: 459060
Changes: 
 acl2 (3.3-1.1) unstable; urgency=low
 .
   * Non-maintainer upload.
   * Build depend on time, so that it works with shells other than bash
     (Closes: #459060).
Files: 
 1f7c6956b83a7dde046bc8507a52b04b 821 math optional acl2_3.3-1.1.dsc
 3027c1c5fc4dbd0718f29dad6f15bf6d 13594 math optional acl2_3.3-1.1.diff.gz
 2e87cacfeea90f850dafae6192f5e2f6 2486188 math optional acl2-source_3.3-1.1_all.deb
 7c314dd3700ab383fd0db411f030c7e4 56018 math optional acl2-emacs_3.3-1.1_all.deb
 1ea4bfb5c0a7f4bc079f7767ff312f55 87382 math optional acl2-infix-source_3.3-1.1_all.deb
 198e00337ba417ecf54289471e324455 2558702 math optional acl2-books-source_3.3-1.1_all.deb
 249e79d9ce2bc47fc6d6b664c95b025e 1249156 math optional acl2-books-certs_3.3-1.1_all.deb
 83184f3a52b4765e3717f18e8ef45050 2262244 doc optional acl2-doc_3.3-1.1_all.deb
 b6c02aab69ec70329db2d2fd2c27f5f5 16902202 math optional acl2_3.3-1.1_i386.deb
 fda28adca4fc00c6c6ff9aa4554fdfbd 171360 math optional acl2-infix_3.3-1.1_i386.deb
 bc16456a0cf3448a349381b4d1c5bd13 4919094 math optional acl2-books_3.3-1.1_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)

iD8DBQFH+HeZTTx8oVVPtMYRArO7AKC5etilRlx/++tBmYHYGxu5klXdbQCfQH3U
RozdNNbsc92hyoX2ehnvUq4=
=V9lS
-----END PGP SIGNATURE-----


Accepted:
acl2-books-certs_3.3-1.1_all.deb
  to pool/main/a/acl2/acl2-books-certs_3.3-1.1_all.deb
acl2-books-source_3.3-1.1_all.deb
  to pool/main/a/acl2/acl2-books-source_3.3-1.1_all.deb
acl2-books_3.3-1.1_i386.deb
  to pool/main/a/acl2/acl2-books_3.3-1.1_i386.deb
acl2-doc_3.3-1.1_all.deb
  to pool/main/a/acl2/acl2-doc_3.3-1.1_all.deb
acl2-emacs_3.3-1.1_all.deb
  to pool/main/a/acl2/acl2-emacs_3.3-1.1_all.deb
acl2-infix-source_3.3-1.1_all.deb
  to pool/main/a/acl2/acl2-infix-source_3.3-1.1_all.deb
acl2-infix_3.3-1.1_i386.deb
  to pool/main/a/acl2/acl2-infix_3.3-1.1_i386.deb
acl2-source_3.3-1.1_all.deb
  to pool/main/a/acl2/acl2-source_3.3-1.1_all.deb
acl2_3.3-1.1.diff.gz
  to pool/main/a/acl2/acl2_3.3-1.1.diff.gz
acl2_3.3-1.1.dsc
  to pool/main/a/acl2/acl2_3.3-1.1.dsc
acl2_3.3-1.1_i386.deb
  to pool/main/a/acl2/acl2_3.3-1.1_i386.deb