-----BEGIN PGP SIGNED MESSAGE----- Format: 1.7 Date: Wed, 13 Nov 2002 14:04:32 -0500 Source: acl2 Binary: acl2-doc acl2 Architecture: source all i386 Version: 2.6-10 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: 168968 Changes: acl2 (2.6-10) unstable; urgency=low . * Added missing Build-deps: Closes: #168968 Files: 0be1736fdbc66247a5e8588ad18f9a6c 812 math optional acl2_2.6-10.dsc 9edbe5cf09fd76796a5ce87986ce7b90 8857 math optional acl2_2.6-10.diff.gz 3d6f9c06dd18c627f0160f90de89fdba 1379062 doc optional acl2-doc_2.6-10_all.deb be4e2779c37ba9ce437e588ea0313195 5741218 math optional acl2_2.6-10_i386.deb
-----BEGIN PGP SIGNATURE----- Version: 2.6.3a Charset: noconv iQCVAwUBPdKnLVRjAAQhp2rpAQFQSgP9GwY1VsgdD9ea/6HdBWByiWJBhAopqUpe wz5US4f1QJeprzpTUV1aFZuFKniH2CwW/W1AVv2rtjzmNVxRiFDC9EP3suBBThk0 fnBQafk7ipUHDLaCOEmUowVdmsjmzgpKkYrDoLlM7rGalNiCX5V5dAxT5RacS+91 BLI6vimfUK4= =NGeq -----END PGP SIGNATURE----- Accepted: acl2-doc_2.6-10_all.deb to pool/main/a/acl2/acl2-doc_2.6-10_all.deb acl2_2.6-10.diff.gz to pool/main/a/acl2/acl2_2.6-10.diff.gz acl2_2.6-10.dsc to pool/main/a/acl2/acl2_2.6-10.dsc acl2_2.6-10_i386.deb to pool/main/a/acl2/acl2_2.6-10_i386.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
