Accepted acl2 2.7-9 (i386 source all)

[Camm Maguire <camm@enhanced.com>]

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

Format: 1.7
Date: Thu, 12 Feb 2004 15:08:14 +0000
Source: acl2
Binary: acl2-doc acl2
Architecture: source i386 all
Version: 2.7-9
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <camm@enhanced.com>
Changed-By: Camm Maguire <camm@enhanced.com>
Description: 
 acl2       - Applicative Common Lisp: A Computational Logic
 acl2-doc   - Documentation for acl2
Changes: 
 acl2 (2.7-9) unstable; urgency=low
 .
   * Build depend on latest gcl to try SAFE_FREAD fix for m68k and SGC
     runtime check as alpha libc bug workaround
   * echo any failed mini-proveall results
   * require full test to succeed for build to complete
Files: 
 51890fc6f4a3318fe76067860b339a31 727 math optional acl2_2.7-9.dsc
 bd9167a5419f7a4614fd55e40936d358 34359 math optional acl2_2.7-9.diff.gz
 b713a1fb57cd9a5acb79a938c2e4ff7e 1590764 doc optional acl2-doc_2.7-9_all.deb
 ef26d4555f910da3437967d267ea785f 10057664 math optional acl2_2.7-9_i386.deb

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

iD8DBQFAMCgoczG1wFfwRdwRAt0cAJ9CaQ4dsUW16jMo8x0UfNbfCGpVgwCgkWzD
e1z6aammIsBSYlxFAU1B1Og=
=OwGT
-----END PGP SIGNATURE-----


Accepted:
acl2-doc_2.7-9_all.deb
  to pool/main/a/acl2/acl2-doc_2.7-9_all.deb
acl2_2.7-9.diff.gz
  to pool/main/a/acl2/acl2_2.7-9.diff.gz
acl2_2.7-9.dsc
  to pool/main/a/acl2/acl2_2.7-9.dsc
acl2_2.7-9_i386.deb
  to pool/main/a/acl2/acl2_2.7-9_i386.deb