-----BEGIN PGP SIGNED MESSAGE----- Format: 1.7 Date: Sun, 17 Nov 2002 08:58:20 -0500 Source: acl2 Binary: acl2-doc acl2 Architecture: source all i386 Version: 2.6-13 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-13) unstable; urgency=low . * Fix acl2 path issue in infix subbuild Files: 4f3595eccca3a4d368d268160e7b2e95 888 math optional acl2_2.6-13.dsc ab853ae5e32a84c8ea4dd1b14ea061dd 14233 math optional acl2_2.6-13.diff.gz 9c6e64202a711ef433495918fd758760 1449642 doc optional acl2-doc_2.6-13_all.deb bdf0ad3529a3b1f2454188dbd7abec4d 8472834 math optional acl2_2.6-13_i386.deb -----BEGIN PGP SIGNATURE----- Version: 2.6.3a Charset: noconv iQCVAwUBPdemcFRjAAQhp2rpAQGd1AP/Z1iekmxXX4BSu9pumoGTBxc9o85f6OBe qcksGqapeQPJuJ3QJX3gCT+72tp1EM2aR1bETDEaNTLLNmyFVjs/2GuH202QaAw4 Isq3/8lAZhOEqhQlCFBky/ZmFK9virWrt8it9R1kvjcXoFTFBkpPFxVAGoPTWQdW pJJ/Ip9C7mI= =oGuM -----END PGP SIGNATURE----- Accepted: acl2-doc_2.6-13_all.deb to pool/main/a/acl2/acl2-doc_2.6-13_all.deb acl2_2.6-13.diff.gz to pool/main/a/acl2/acl2_2.6-13.diff.gz acl2_2.6-13.dsc to pool/main/a/acl2/acl2_2.6-13.dsc acl2_2.6-13_i386.deb to pool/main/a/acl2/acl2_2.6-13_i386.deb -- To UNSUBSCRIBE, email to debian-devel-changes-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
