-----BEGIN PGP SIGNED MESSAGE----- Format: 1.7 Date: Sun, 17 Nov 2002 16:36:09 -0500 Source: acl2 Binary: acl2-doc acl2 Architecture: source all i386 Version: 2.6-15 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-15) unstable; urgency=low . * Correct final pathnames in certs * remove TMP1.lisp Files: 41084d6c522b1db4c990142b0c14afa3 888 math optional acl2_2.6-15.dsc 9826905d6f696733d4101d1054495374 14216 math optional acl2_2.6-15.diff.gz acaa883f1257023eaa7b42114b72b1ee 1449734 doc optional acl2-doc_2.6-15_all.deb 4c23c7c1445cb20d99e63d73652df25b 8436508 math optional acl2_2.6-15_i386.deb -----BEGIN PGP SIGNATURE----- Version: 2.6.3a Charset: noconv iQCVAwUBPdgRKFRjAAQhp2rpAQE3IgP/Q+a9zWcfbTUC9S9nUdpCpqS4XjfjKLlM I56ysHA3OwTXgr1kCPgpnRHcEOAEl0wxBQdRWYwmKWPm9+2Pd13/fHpgF2tSEtwP Krzvfd894i6ivE0CyriVB9Lec7V7vILytJw2lw4vSvf06iKjY/8ZvcUuzfJY8Z2N q9gPI+3KebM= =nzgm -----END PGP SIGNATURE----- Accepted: acl2-doc_2.6-15_all.deb to pool/main/a/acl2/acl2-doc_2.6-15_all.deb acl2_2.6-15.diff.gz to pool/main/a/acl2/acl2_2.6-15.diff.gz acl2_2.6-15.dsc to pool/main/a/acl2/acl2_2.6-15.dsc acl2_2.6-15_i386.deb to pool/main/a/acl2/acl2_2.6-15_i386.deb -- To UNSUBSCRIBE, email to debian-devel-changes-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
