Accepted acl2 2.7-1 (i386 source all)
-----BEGIN PGP SIGNED MESSAGE-----
Format: 1.7
Date: Mon, 18 Nov 2002 20:26:16 -0500
Source: acl2
Binary: acl2-doc acl2
Architecture: source all i386
Version: 2.7-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.7-1) unstable; urgency=low
.
* New upstream release
* new modules linear-a linear-b and non-linear
* certify all books
Files:
eaf8989ec796c804a744aa941b8e22c3 886 math optional acl2_2.7-1.dsc
970f5dfdc146b60bae6dd05c70160370 4531738 math optional acl2_2.7.orig.tar.gz
67feeb77a96f703ae030d29f1cd8003e 19684 math optional acl2_2.7-1.diff.gz
1d43e055ed4f3fae602134d9af2a9177 1503008 doc optional acl2-doc_2.7-1_all.deb
ed4f236620dae6d1023ceb9f1fe991ac 9661330 math optional acl2_2.7-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: 2.6.3a
Charset: noconv
iQCVAwUBPdpjsFRjAAQhp2rpAQHu+gP+IuHFGwhONplYRsCekONKkp29qTOKRfsh
RmrSGZwth6kD3f1wJRCkHaz7zNLEOz7bdEL1FrYIfvB709S2PfItR7nb+hvAqdti
LHq4sVYLrlV8AyC8WKlDSPdUxgApRxsLx03Lsy8qE782gUJ3uAgiVEge+3yOBJNe
MFgmrX55yd4=
=dVio
-----END PGP SIGNATURE-----
Accepted:
acl2-doc_2.7-1_all.deb
to pool/main/a/acl2/acl2-doc_2.7-1_all.deb
acl2_2.7-1.diff.gz
to pool/main/a/acl2/acl2_2.7-1.diff.gz
acl2_2.7-1.dsc
to pool/main/a/acl2/acl2_2.7-1.dsc
acl2_2.7-1_i386.deb
to pool/main/a/acl2/acl2_2.7-1_i386.deb
acl2_2.7.orig.tar.gz
to pool/main/a/acl2/acl2_2.7.orig.tar.gz
Reply to: