-----BEGIN PGP SIGNED MESSAGE----- Format: 1.7 Date: Fri, 1 Nov 2002 19:01:57 -0500 Source: acl2 Binary: acl2-doc acl2 Architecture: source all i386 Version: 2.6-7 Distribution: unstable Urgency: low Maintainer: Camm Maguire <[EMAIL PROTECTED]> Changed-By: Camm Maguire <[EMAIL PROTECTED]> Description: acl2 - Applicative Common Lisp: A Computational Logic acl2-doc - Documentation for acl2 Closes: 167356 Changes: acl2 (2.6-7) unstable; urgency=low . * Add test targets * acl2-mode.el fix, Closes: #167356 Files: c8c1058c09647aa1dfd8a6f44c165e7d 736 math optional acl2_2.6-7.dsc eef9351748e6993c2f10527339cc8218 7637 math optional acl2_2.6-7.diff.gz b4381f252fcecf08f16257565357df3a 1378940 doc optional acl2-doc_2.6-7_all.deb f1649c75bcf4cedaf8a0f17c42e57717 5762012 math optional acl2_2.6-7_i386.deb
-----BEGIN PGP SIGNATURE----- Version: 2.6.3a Charset: noconv iQCVAwUBPcMyBlRjAAQhp2rpAQEZyAQApzvmPX5oQt9KzUW/w4ux2wESo4fM4p5l 0YDUTiHnCrChQxhw2Mlz9yjtOjoIIzdbNOxyVW4fI1oHDQE+QT3V+hCKXMJF0Bgz lW9ZUdg1UsH+JjHtxZFu9YQjve+p237UBTFHKD0kM8731gOsQ03DCsRpw3ER6CQS 7OHs6I2WOUA= =ONj4 -----END PGP SIGNATURE----- Accepted: acl2-doc_2.6-7_all.deb to pool/main/a/acl2/acl2-doc_2.6-7_all.deb acl2_2.6-7.diff.gz to pool/main/a/acl2/acl2_2.6-7.diff.gz acl2_2.6-7.dsc to pool/main/a/acl2/acl2_2.6-7.dsc acl2_2.6-7_i386.deb to pool/main/a/acl2/acl2_2.6-7_i386.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
