-----BEGIN PGP SIGNED MESSAGE----- Format: 1.7 Date: Tue, 19 Nov 2002 20:11:39 -0500 Source: acl2 Binary: acl2-doc acl2 Architecture: source all i386 Version: 2.7-2 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.7-2) unstable; urgency=low . * Build-depends on tetex-base Files: 21a90aaea31a197e7103a6a926e588df 898 math optional acl2_2.7-2.dsc b5099008ae28af972f4eec710b7443ad 19717 math optional acl2_2.7-2.diff.gz 06b47b0a433fe9519c23dba221fdfcee 1503016 doc optional acl2-doc_2.7-2_all.deb edf3044e3997404f14cdb41cf931180f 9538626 math optional acl2_2.7-2_i386.deb -----BEGIN PGP SIGNATURE----- Version: 2.6.3a Charset: noconv iQCVAwUBPdswHFRjAAQhp2rpAQEFCgP/UgmVVt1CIt9C+Vc3/sLRxwm0L5NLPwG+ gqVxWlNm4fMGtoSSveCwBLhHxE7sSMyH2xGd9DTF9iseRn2kEAVyTRf13hTo6qGP x3BijA/r9AEexO6f/+nXlIKdnfvsDmhJmUgMKGoGrxWAUAYvZQiiTKK00A56v5jr 8GXH/RLSaT8= =L8gx -----END PGP SIGNATURE----- Accepted: acl2-doc_2.7-2_all.deb to pool/main/a/acl2/acl2-doc_2.7-2_all.deb acl2_2.7-2.diff.gz to pool/main/a/acl2/acl2_2.7-2.diff.gz acl2_2.7-2.dsc to pool/main/a/acl2/acl2_2.7-2.dsc acl2_2.7-2_i386.deb to pool/main/a/acl2/acl2_2.7-2_i386.deb -- To UNSUBSCRIBE, email to debian-devel-changes-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
