-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Fri, 12 Aug 2005 20:57:23 +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-1 Distribution: unstable Urgency: low Maintainer: Camm Maguire <camm@enhanced.com> Changed-By: Camm Maguire <camm@enhanced.com> 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-1) unstable; urgency=low . * New upstream release * probe-file -> truename *infix-directory* patch for gcl 2.6.7 Files: 39e9817562bd9b63a3f1ee1ddc57a68e 800 math optional acl2_2.9.3-1.dsc 684710c71ff418ec4a7a5f5b67bae8e0 5412099 math optional acl2_2.9.3.orig.tar.gz 44465bfec28ba635037d2056ec392b54 19328 math optional acl2_2.9.3-1.diff.gz aa7e351744df6642ec0ce9c8c974ede2 2113332 math optional acl2-source_2.9.3-1_all.deb c46b318ee24a05f903a80f1f172c32fd 49026 math optional acl2-emacs_2.9.3-1_all.deb 000939b90b29a2495f05c06d0b1651d0 84514 math optional acl2-infix-source_2.9.3-1_all.deb 7168268d40cf6608fc2cfb5d53e18c5e 1297632 math optional acl2-books-source_2.9.3-1_all.deb a9a69ce8b63257d06b409caff321e41a 380546 math optional acl2-books-certs_2.9.3-1_all.deb 3e95f06abb76fdac013fca74532c19a0 1864274 doc optional acl2-doc_2.9.3-1_all.deb 899144675ab3854259c15727f063cafc 14176064 math optional acl2_2.9.3-1_i386.deb 8add0fc54b7356fdfc52a71c6a6521d2 173284 math optional acl2-infix_2.9.3-1_i386.deb b59110161f2a4258ff7c6f4d09b793cc 859768 math optional acl2-books_2.9.3-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.1 (GNU/Linux) iD8DBQFC/SHgczG1wFfwRdwRAtDYAJ4/h3R6bn9gTnINUzZr49dtFQ+SDACfS/x9 jjf8khC+XMTrumEiq4enGR0= =+dZJ -----END PGP SIGNATURE----- Accepted: acl2-books-certs_2.9.3-1_all.deb to pool/main/a/acl2/acl2-books-certs_2.9.3-1_all.deb acl2-books-source_2.9.3-1_all.deb to pool/main/a/acl2/acl2-books-source_2.9.3-1_all.deb acl2-books_2.9.3-1_i386.deb to pool/main/a/acl2/acl2-books_2.9.3-1_i386.deb acl2-doc_2.9.3-1_all.deb to pool/main/a/acl2/acl2-doc_2.9.3-1_all.deb acl2-emacs_2.9.3-1_all.deb to pool/main/a/acl2/acl2-emacs_2.9.3-1_all.deb acl2-infix-source_2.9.3-1_all.deb to pool/main/a/acl2/acl2-infix-source_2.9.3-1_all.deb acl2-infix_2.9.3-1_i386.deb to pool/main/a/acl2/acl2-infix_2.9.3-1_i386.deb acl2-source_2.9.3-1_all.deb to pool/main/a/acl2/acl2-source_2.9.3-1_all.deb acl2_2.9.3-1.diff.gz to pool/main/a/acl2/acl2_2.9.3-1.diff.gz acl2_2.9.3-1.dsc to pool/main/a/acl2/acl2_2.9.3-1.dsc acl2_2.9.3-1_i386.deb to pool/main/a/acl2/acl2_2.9.3-1_i386.deb acl2_2.9.3.orig.tar.gz to pool/main/a/acl2/acl2_2.9.3.orig.tar.gz -- To UNSUBSCRIBE, email to debian-devel-changes-REQUEST@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
