Accepted acl2 2.7-5 (i386 source all)

[Camm Maguire <camm@enhanced.com>]

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

Format: 1.7
Date: Mon, 25 Nov 2002 10:13:16 -0500
Source: acl2
Binary: acl2-doc acl2
Architecture: source all i386
Version: 2.7-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
Changes: 
 acl2 (2.7-5) unstable; urgency=low
 .
   * New gcl fixes for arm
   * cat to build log failed cert output
Files: 
 50f97272ae0861a2692ce6678e23b017 975 math optional acl2_2.7-5.dsc
 91d173c79697559179b00a45411c3a53 20124 math optional acl2_2.7-5.diff.gz
 1620f5ffa568ba10c5f4a05095004257 1503154 doc optional acl2-doc_2.7-5_all.deb
 d79c3bd51954a73b487ad51107cc072f 9540728 math optional acl2_2.7-5_i386.deb

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

iQCVAwUBPeJlv1RjAAQhp2rpAQGDTAP/XQbjHjINPI4BvrU5HzLcB5nDpXh3EAl8
HktqtIbTtFLqzfm8WeXYvbt6uG3xhV8HrfLk9n/dXY3dSk+6JoaoLbE5XuQGJaeG
w82gWNkoU18rtIZ7NZZqzvyLcJOrHV38g49dckYrAJeG731nHRJmJMSgbscQWuDz
RmeFZrQntHY=
=V9PN
-----END PGP SIGNATURE-----


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