-----BEGIN PGP SIGNED MESSAGE----- Format: 1.7 Date: Sun, 17 Nov 2002 12:28:46 -0500 Source: acl2 Binary: acl2-doc acl2 Architecture: source all i386 Version: 2.6-14 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-14) unstable; urgency=low . * Fix bad diff, Closes #169493 Files: 52c41a65871cc15f6fc006db28290813 888 math optional acl2_2.6-14.dsc 14e5a34bfa99e86da4544d168e57eb05 14125 math optional acl2_2.6-14.diff.gz e3029f82c48366a2ddbb353c8192bae8 1449662 doc optional acl2-doc_2.6-14_all.deb 1419ff1c8cefd2544f2c924da627134d 8467636 math optional acl2_2.6-14_i386.deb -----BEGIN PGP SIGNATURE----- Version: 2.6.3a Charset: noconv iQCVAwUBPdfYZlRjAAQhp2rpAQGeeQQAsMaJVtMb0fxzrraS1zOwzQQJNXkBIotm TJ4Xcb/9IuX1nI+ensNAbRaeZLQFenaTMfykBAoauzUuAYTbcv/K8Er259n2ambw VOUDouVJGu4H2lxD/7ZupJ9p5jd8m+27Mb/Q5k8pM5oHGpuaLkSxpHe3zT9W3TIi /XsEUM+xyUw= =6Jky -----END PGP SIGNATURE----- Accepted: acl2-doc_2.6-14_all.deb to pool/main/a/acl2/acl2-doc_2.6-14_all.deb acl2_2.6-14.diff.gz to pool/main/a/acl2/acl2_2.6-14.diff.gz acl2_2.6-14.dsc to pool/main/a/acl2/acl2_2.6-14.dsc acl2_2.6-14_i386.deb to pool/main/a/acl2/acl2_2.6-14_i386.deb -- To UNSUBSCRIBE, email to debian-devel-changes-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
