Accepted acl2 2.6-5 (i386 source all)

[Camm Maguire <camm@enhanced.com>]

-----BEGIN PGP SIGNED MESSAGE-----

Format: 1.7
Date: Wed, 30 Oct 2002 11:58:20 -0500
Source: acl2
Binary: acl2-doc acl2
Architecture: source all i386
Version: 2.6-5
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
Closes: 167012
Changes: 
 acl2 (2.6-5) unstable; urgency=low
 .
   * Patch acl2-mode.el to handle differing xemacs/emacs behavior,
     Closes: #167012
Files: 
 2c1142e1b7f338912373872f9a36fcee 696 math optional acl2_2.6-5.dsc
 a928e8ac53e48851aa251307691c0b51 6521 math optional acl2_2.6-5.diff.gz
 df0cda34241a8c2def232c706e28c95d 1378838 math optional acl2-doc_2.6-5_all.deb
 1edb2692079fa709632dd36ec8ced0ac 5742480 math optional acl2_2.6-5_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: 2.6.3a
Charset: noconv

iQCVAwUBPcAVQFRjAAQhp2rpAQE+agQAvVAG42YgFww4Y1RtpoMBw1hpAsqEJ1Wa
iVPs40reCxQCdzyy56dMmK9W6ruUwWdtFzOz8kOFTYb4ZWjEJQMzRRxO/zblxOOT
9ElEsWuaR113ONmLglEPwOnQeFHh69CFVMZ5za/FcHTC0UOtjQpMpdosdBRhtUOU
fG9DP7D1Ezo=
=2u/D
-----END PGP SIGNATURE-----


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