Accepted acl2 2.9.3-5build1 (source)

[Stephan Hermann]

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

Format: 1.7
Date: Sat,  8 Oct 2005 20:09:47 +0200
Source: acl2
Binary: acl2-books-certs acl2-doc acl2 acl2-infix-source acl2-infix acl2-source acl2-books-source acl2-books acl2-emacs
Architecture: source
Version: 2.9.3-5build1
Distribution: breezy
Urgency: low
Maintainer: Camm Maguire <camm at enhanced.com>
Changed-By: Stephan Hermann <sh at sourcecode.de>
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
Changes: 
 acl2 (2.9.3-5build1) breezy; urgency=low
 .
   * Rebuild, because gcl just came to late for the archives
Files: 
 b573a5c761fa2bd0f4ddd634c3ebbcab 816 math optional acl2_2.9.3-5build1.dsc
 35c642cd7fb130422c7ff06efbe9d913 19908 math optional acl2_2.9.3-5build1.diff.gz

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

iD8DBQFDSAukwYnnM8CY76gRAvdOAJ0V/nuiEAsrwQDh/f0QI3ezArswMgCfacXw
lF9ELhYE8etpytwl/h6zxTU=
=hXFp
-----END PGP SIGNATURE-----


Accepted:
acl2_2.9.3-5build1.diff.gz
  to pool/universe/a/acl2/acl2_2.9.3-5build1.diff.gz
acl2_2.9.3-5build1.dsc
  to pool/universe/a/acl2/acl2_2.9.3-5build1.dsc