-----BEGIN PGP SIGNED MESSAGE----- Format: 1.7 Date: Thu, 31 Oct 2002 21:49:44 -0500 Source: acl2 Binary: acl2-doc acl2 Architecture: source all i386 Version: 2.6-6 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-6) unstable; urgency=low . * Better (less restrictive) gcl Build-Depends * Newer standards * acl2-doc in section doc Files: b0d5fb34a7030ff3d148188d51f7e4cf 736 math optional acl2_2.6-6.dsc 9ad086b7c23866320a51f389d656988f 6617 math optional acl2_2.6-6.diff.gz 7cee6b38b95daeb4a4debe989d605f5f 1378890 doc optional acl2-doc_2.6-6_all.deb 830dd5c6d04054e6b845e6c4851a0f65 5743722 math optional acl2_2.6-6_i386.deb
-----BEGIN PGP SIGNATURE----- Version: 2.6.3a Charset: noconv iQCVAwUBPcHwRlRjAAQhp2rpAQF1cgQAh0XZOnjAUCZkYKVNaHUkNTsjr5GaiUdD 0vBNXFw6SdCxCZNY2POTgAHqEyJTsGFWT6dxTn5VXo4RjiZoCjxVgD8Bq2dkS6pj a+qBAnhgCGuETvPaK8PYi1CyltF1+MGFrF/2ay6+njXOZhR5UGQFHQ8k4VbAtmpn fZRZ9Y4X3ZA= =wjxI -----END PGP SIGNATURE----- Accepted: acl2-doc_2.6-6_all.deb to pool/main/a/acl2/acl2-doc_2.6-6_all.deb acl2_2.6-6.diff.gz to pool/main/a/acl2/acl2_2.6-6.diff.gz acl2_2.6-6.dsc to pool/main/a/acl2/acl2_2.6-6.dsc acl2_2.6-6_i386.deb to pool/main/a/acl2/acl2_2.6-6_i386.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]