-----BEGIN PGP SIGNED MESSAGE----- Format: 1.7 Date: Wed, 13 Nov 2002 21:35:22 -0500 Source: acl2 Binary: acl2-doc acl2 Architecture: source all i386 Version: 2.6-11 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-11) unstable; urgency=low . * Build-depends on binutils-dev for arches using bfd Files: 63dfdf3b0ae56b41ba1ec7a4945fce48 863 math optional acl2_2.6-11.dsc ad935021da794d8da7044bb31bda1700 8917 math optional acl2_2.6-11.diff.gz 128237e13b1d0e3876ad6acd77beb93b 1379090 doc optional acl2-doc_2.6-11_all.deb 7ab6fe2f7d16a4efa8cefee31b750b9f 5741154 math optional acl2_2.6-11_i386.deb -----BEGIN PGP SIGNATURE----- Version: 2.6.3a Charset: noconv iQCVAwUBPdMRSlRjAAQhp2rpAQHqCQQAhYtkov+9Bi+QfrV6j60XB+c5Zo4hIOrT YPP+mPYRaJoQv1P1ba29GHlr4wF2rqYVyJ8sItKFr5tjJ0QfZ22Se3uL/rCWfj71 c6qaQsqkoSnTXoIS0zAEBLW6d5UvzFmh7mbKiAqacuxd+D+J9qhApiIBC6o5lMIv nOsHBFbBDHA= =+T7I -----END PGP SIGNATURE----- Accepted: acl2-doc_2.6-11_all.deb to pool/main/a/acl2/acl2-doc_2.6-11_all.deb acl2_2.6-11.diff.gz to pool/main/a/acl2/acl2_2.6-11.diff.gz acl2_2.6-11.dsc to pool/main/a/acl2/acl2_2.6-11.dsc acl2_2.6-11_i386.deb to pool/main/a/acl2/acl2_2.6-11_i386.deb -- To UNSUBSCRIBE, email to debian-devel-changes-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
