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: