Accepted acl2 2.6-13 (i386 source all)

[Camm Maguire <camm@enhanced.com>]

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

Format: 1.7
Date: Sun, 17 Nov 2002 08:58:20 -0500
Source: acl2
Binary: acl2-doc acl2
Architecture: source all i386
Version: 2.6-13
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.6-13) unstable; urgency=low
 .
   * Fix acl2 path issue in infix subbuild
Files: 
 4f3595eccca3a4d368d268160e7b2e95 888 math optional acl2_2.6-13.dsc
 ab853ae5e32a84c8ea4dd1b14ea061dd 14233 math optional acl2_2.6-13.diff.gz
 9c6e64202a711ef433495918fd758760 1449642 doc optional acl2-doc_2.6-13_all.deb
 bdf0ad3529a3b1f2454188dbd7abec4d 8472834 math optional acl2_2.6-13_i386.deb

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

iQCVAwUBPdemcFRjAAQhp2rpAQGd1AP/Z1iekmxXX4BSu9pumoGTBxc9o85f6OBe
qcksGqapeQPJuJ3QJX3gCT+72tp1EM2aR1bETDEaNTLLNmyFVjs/2GuH202QaAw4
Isq3/8lAZhOEqhQlCFBky/ZmFK9virWrt8it9R1kvjcXoFTFBkpPFxVAGoPTWQdW
pJJ/Ip9C7mI=
=oGuM
-----END PGP SIGNATURE-----


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