[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Accepted acl2 2.6-1 (i386 source all)



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

Format: 1.7
Date: Sat, 26 Oct 2002 11:58:58 -0400
Source: acl2
Binary: acl2-doc acl2
Architecture: source all i386
Version: 2.6-1
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-1) unstable; urgency=low
 .
   * Initial Release.
Files: 
 637310a8b050207382a825c6ac67e0c7 641 math optional acl2_2.6-1.dsc
 efc20e057f922882c0b230a4f9adc0af 4650765 math optional acl2_2.6.orig.tar.gz
 7662fee3475c79ac46c525325c28210e 5378 math optional acl2_2.6-1.diff.gz
 7a21bbc7cededed962c04af99f8ba78c 1378558 math optional acl2-doc_2.6-1_all.deb
 cbfb7ba8e5899c7ee40619a99ba8b7ab 5812050 math optional acl2_2.6-1_i386.deb

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

iQCVAwUBPbr7AlRjAAQhp2rpAQGFWQQAm2f6gqS/jU0ZQrplfXfXs/QqwuxBfxBX
vM53G1r48icN5zGrAQ2FV2LIsElmEGC6WqM4JKZ+ACwYWmNqYjR2V6HVQe51O4PG
5NpjpV92Fn0qvAZTRC3di5mMomBQZFLrbt4uJCKr7SXvhMFrxg9mYGAyU5ShalcN
tKZzEdnxNT0=
=w2fa
-----END PGP SIGNATURE-----


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



Reply to: