-----BEGIN PGP SIGNED MESSAGE----- Format: 1.7 Date: Tue, 29 Oct 2002 20:30:42 -0500 Source: acl2 Binary: acl2-doc acl2 Architecture: source all i386 Version: 2.6-4 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 Changes: acl2 (2.6-4) unstable; urgency=low . * Rerelease to use new gcl with fixes on ia64, hppa and arm Files: 305c092d59c1a033bddf88bef89be0e1 696 math optional acl2_2.6-4.dsc 3035215e55ab4c43e85b71220b04ab4d 6271 math optional acl2_2.6-4.diff.gz 6b224825a27f1aebcf9bcc32830d9af9 1378750 math optional acl2-doc_2.6-4_all.deb 02289e5897a4156c30624aa2f347a359 5745682 math optional acl2_2.6-4_i386.deb
-----BEGIN PGP SIGNATURE----- Version: 2.6.3a Charset: noconv iQCVAwUBPb86DlRjAAQhp2rpAQFLxgQAtRZwZhCX9/OJgOLrwPgeyyLdHKpIh9M4 tjfPxE3QvIe9Zq8jqgUsoGUwFj1g7E+14Uy/xSzb3sonEvJqIuXA/0uJdFAMGbBy RPraoZ/u+qo+RrqSt11+Dgw9idvajjMJ31bQLIK89XiJdeM4xfVC7cBzeGnA+m7H jfpmkvL3ohI= =u4HN -----END PGP SIGNATURE----- Accepted: acl2-doc_2.6-4_all.deb to pool/main/a/acl2/acl2-doc_2.6-4_all.deb acl2_2.6-4.diff.gz to pool/main/a/acl2/acl2_2.6-4.diff.gz acl2_2.6-4.dsc to pool/main/a/acl2/acl2_2.6-4.dsc acl2_2.6-4_i386.deb to pool/main/a/acl2/acl2_2.6-4_i386.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
