Accepted acl2 2.9.3-3 (source all i386)

[Camm Maguire <camm@enhanced.com>]

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

Format: 1.7
Date: Thu, 29 Sep 2005 18:32:02 +0000
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 all i386
Version: 2.9.3-3
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <camm@enhanced.com>
Changed-By: Camm Maguire <camm@enhanced.com>
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-3) unstable; urgency=low
 .
   * Build-depend on gcl >= 2.6.7-7 to get dlopen fix needed for mips,
     alpha, hppa, and ia64
   * rework build strategy switching based on the native-reloc feature in
     the installed gcl.
Files: 
 a06b8e86855106d3d5f2735a224c18fa 804 math optional acl2_2.9.3-3.dsc
 97359d9ade16858eaee784d73901987b 19747 math optional acl2_2.9.3-3.diff.gz
 051d4a5821c89ed8cae81eddc6f2f89f 2113482 math optional acl2-source_2.9.3-3_all.deb
 09f86a32dc8874fd843f0c0c7bdfb8c9 49210 math optional acl2-emacs_2.9.3-3_all.deb
 9d3cbefed50f081b6ff04775a5a0a214 84698 math optional acl2-infix-source_2.9.3-3_all.deb
 6c850509ae61ef851f2475a10bdbe7ea 1297812 math optional acl2-books-source_2.9.3-3_all.deb
 211868a4556a8c0eace4d1958f84162f 380644 math optional acl2-books-certs_2.9.3-3_all.deb
 7acd0c9a332593e013c8f80487d38b21 1864442 doc optional acl2-doc_2.9.3-3_all.deb
 9c06c0322c08725da432ce7e9d9e1940 14117692 math optional acl2_2.9.3-3_i386.deb
 aeb129929b1bfb8c4f16196cde729ac6 173450 math optional acl2-infix_2.9.3-3_i386.deb
 365092873da368b628a2c96391e24408 860084 math optional acl2-books_2.9.3-3_i386.deb

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

iD8DBQFDPE3BczG1wFfwRdwRAgdWAKCgcV8WZ/D8YcyW62WFQYdzI+O+eACfSHyj
i2Rm/5EokKWYxNb1fRylK08=
=IWF2
-----END PGP SIGNATURE-----


Accepted:
acl2-books-certs_2.9.3-3_all.deb
  to pool/main/a/acl2/acl2-books-certs_2.9.3-3_all.deb
acl2-books-source_2.9.3-3_all.deb
  to pool/main/a/acl2/acl2-books-source_2.9.3-3_all.deb
acl2-books_2.9.3-3_i386.deb
  to pool/main/a/acl2/acl2-books_2.9.3-3_i386.deb
acl2-doc_2.9.3-3_all.deb
  to pool/main/a/acl2/acl2-doc_2.9.3-3_all.deb
acl2-emacs_2.9.3-3_all.deb
  to pool/main/a/acl2/acl2-emacs_2.9.3-3_all.deb
acl2-infix-source_2.9.3-3_all.deb
  to pool/main/a/acl2/acl2-infix-source_2.9.3-3_all.deb
acl2-infix_2.9.3-3_i386.deb
  to pool/main/a/acl2/acl2-infix_2.9.3-3_i386.deb
acl2-source_2.9.3-3_all.deb
  to pool/main/a/acl2/acl2-source_2.9.3-3_all.deb
acl2_2.9.3-3.diff.gz
  to pool/main/a/acl2/acl2_2.9.3-3.diff.gz
acl2_2.9.3-3.dsc
  to pool/main/a/acl2/acl2_2.9.3-3.dsc
acl2_2.9.3-3_i386.deb
  to pool/main/a/acl2/acl2_2.9.3-3_i386.deb