-----BEGIN PGP SIGNED MESSAGE----- Format: 1.7 Date: Mon, 28 Oct 2002 18:40:07 -0500 Source: acl2 Binary: acl2-doc acl2 Architecture: source all i386 Version: 2.6-3 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-3) unstable; urgency=low . * Add emacs21 | emacsen, debhelper to Build-Deps Files: e74d149defaaad22892b0c11134edd64 671 math optional acl2_2.6-3.dsc 9afaccb3f2c6cfb7223ae0814f09c621 6193 math optional acl2_2.6-3.diff.gz f2c67a6524a04bf76c7cb9d60fb6ad14 1378706 math optional acl2-doc_2.6-3_all.deb cea73d0db1cebcb4d8b02358329de19f 5846588 math optional acl2_2.6-3_i386.deb
-----BEGIN PGP SIGNATURE----- Version: 2.6.3a Charset: noconv iQCVAwUBPb3OTVRjAAQhp2rpAQG7EgP9HZgyDYsoSGsYXhHJDG/raI/j+Ujasx6z Ayf9No59olsoyf+MFFIlBKEFTD6Ggf2J9o1iTNTwg5QzbRmWw46XKWXUOCPN5vQW 536yG+f+8bbUckPGMt9Y+iapOKWCQUVHgZplV6LoPxYCMQ+VrPh8YuGFIuc8bx1q k+kyLr/vEdM= =6zFZ -----END PGP SIGNATURE----- Accepted: acl2-doc_2.6-3_all.deb to pool/main/a/acl2/acl2-doc_2.6-3_all.deb acl2_2.6-3.diff.gz to pool/main/a/acl2/acl2_2.6-3.diff.gz acl2_2.6-3.dsc to pool/main/a/acl2/acl2_2.6-3.dsc acl2_2.6-3_i386.deb to pool/main/a/acl2/acl2_2.6-3_i386.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]