-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Thu, 13 Oct 2005 18:36:11 +0000 Source: acl2 Binary: acl2-books-certs acl2-doc acl2 acl2-infix-source acl2-infix acl2-source acl2-books-source acl2-books acl2-emacs Architecture: source all i386 Version: 2.9.3-6 Distribution: unstable Urgency: low Maintainer: Camm Maguire <[EMAIL PROTECTED]> Changed-By: Camm Maguire <[EMAIL PROTECTED]> Description: acl2 - A Computational Logic for Applicative Common Lisp: main binary acl2-books - A Computational Logic for Applicative Common Lisp: compiled libra acl2-books-certs - A Computational Logic for Applicative Common Lisp: library certif acl2-books-source - A Computational Logic for Applicative Common Lisp: library source acl2-doc - A Computational Logic for Applicative Common Lisp: documentation acl2-emacs - A Computational Logic for Applicative Common Lisp: emacs interfac acl2-infix - A Computational Logic for Applicative Common Lisp: infix interfac acl2-infix-source - A Computational Logic for Applicative Common Lisp: infix source acl2-source - A Computational Logic for Applicative Common Lisp: source files Changes: acl2 (2.9.3-6) unstable; urgency=low . * build depend on >= gcl-2.6.7-10 to get ppc gcc configure fix Files: 3ac47bda07d2d83abd73197cc2794952 805 math optional acl2_2.9.3-6.dsc c317ff539e026bac006b1f087bdd9c21 19850 math optional acl2_2.9.3-6.diff.gz 7692010f0f51c69fb74417dc100d52c8 2113580 math optional acl2-source_2.9.3-6_all.deb d08f7a8957d9a2f1ca516c6a80ae26d2 49318 math optional acl2-emacs_2.9.3-6_all.deb 893dbe31ffdfca525d1533e94802f8f4 84812 math optional acl2-infix-source_2.9.3-6_all.deb 81445f70e34c3a03859f7ed4c08adf0c 1297904 math optional acl2-books-source_2.9.3-6_all.deb 74291ebe08881eeb422f8fbac98efcd3 380816 math optional acl2-books-certs_2.9.3-6_all.deb 84e509a3cd50841b563c5b45debd5d01 1864554 doc optional acl2-doc_2.9.3-6_all.deb d09d23e4b155528c8a40ae9797eb6c7d 14108974 math optional acl2_2.9.3-6_i386.deb ce150d24d03a5fe11c009f4c471c76ce 173462 math optional acl2-infix_2.9.3-6_i386.deb aa5a308095ac63d5483c7a80a99b217f 859682 math optional acl2-books_2.9.3-6_i386.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.2 (GNU/Linux) iD8DBQFDTs39czG1wFfwRdwRAsYvAKC6DtGPeyzi0mYrGB7AdqgpCNHVSACfWwUZ F7MCWUo2CCjsUUz0+Aq+6jQ= =xYct -----END PGP SIGNATURE----- Accepted: acl2-books-certs_2.9.3-6_all.deb to pool/main/a/acl2/acl2-books-certs_2.9.3-6_all.deb acl2-books-source_2.9.3-6_all.deb to pool/main/a/acl2/acl2-books-source_2.9.3-6_all.deb acl2-books_2.9.3-6_i386.deb to pool/main/a/acl2/acl2-books_2.9.3-6_i386.deb acl2-doc_2.9.3-6_all.deb to pool/main/a/acl2/acl2-doc_2.9.3-6_all.deb acl2-emacs_2.9.3-6_all.deb to pool/main/a/acl2/acl2-emacs_2.9.3-6_all.deb acl2-infix-source_2.9.3-6_all.deb to pool/main/a/acl2/acl2-infix-source_2.9.3-6_all.deb acl2-infix_2.9.3-6_i386.deb to pool/main/a/acl2/acl2-infix_2.9.3-6_i386.deb acl2-source_2.9.3-6_all.deb to pool/main/a/acl2/acl2-source_2.9.3-6_all.deb acl2_2.9.3-6.diff.gz to pool/main/a/acl2/acl2_2.9.3-6.diff.gz acl2_2.9.3-6.dsc to pool/main/a/acl2/acl2_2.9.3-6.dsc acl2_2.9.3-6_i386.deb to pool/main/a/acl2/acl2_2.9.3-6_i386.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]