-----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 -- To UNSUBSCRIBE, email to debian-devel-changes-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
