-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Sun, 2 Oct 2005 11:23:30 +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-4 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-4) unstable; urgency=low . * build depend on >= gcl 2.6.7-8 for 64bit bignum/fixnum fix Files: 0c37d591a727d43d421f8fc9d0e12da0 804 math optional acl2_2.9.3-4.dsc 485fa13eb9acb99b6b41aa996210482d 19798 math optional acl2_2.9.3-4.diff.gz 3e7c61ff191e1ef8d616bdf8b7f78274 2113550 math optional acl2-source_2.9.3-4_all.deb 225d85eafbc90d0c5e68f77f200285d3 49262 math optional acl2-emacs_2.9.3-4_all.deb 3845c9ef13498dca3c4cbf33f803305d 84744 math optional acl2-infix-source_2.9.3-4_all.deb 8321a6e28c854d25dc01989bf03cb19c 1297844 math optional acl2-books-source_2.9.3-4_all.deb 9fd791633766c2dae51aa484480343fc 380722 math optional acl2-books-certs_2.9.3-4_all.deb 8bc01e95e43502e7852b9267158f43e5 1864480 doc optional acl2-doc_2.9.3-4_all.deb 2cb6ad3268cf64c3d9d18cb485230663 14109890 math optional acl2_2.9.3-4_i386.deb 98878bf9cdf29ed775fd8c2a5d572cfd 173424 math optional acl2-infix_2.9.3-4_i386.deb dc2b62695e2bc921183da3b22de44a69 859478 math optional acl2-books_2.9.3-4_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.2 (GNU/Linux) iD8DBQFDQICzczG1wFfwRdwRAkRoAKCvQiUjvXdeOeHdKcLJFAc0L2AdpACeP7N9 9eziPx1gaim6v2jZWPCXLF0= =YIPE -----END PGP SIGNATURE----- Accepted: acl2-books-certs_2.9.3-4_all.deb to pool/main/a/acl2/acl2-books-certs_2.9.3-4_all.deb acl2-books-source_2.9.3-4_all.deb to pool/main/a/acl2/acl2-books-source_2.9.3-4_all.deb acl2-books_2.9.3-4_i386.deb to pool/main/a/acl2/acl2-books_2.9.3-4_i386.deb acl2-doc_2.9.3-4_all.deb to pool/main/a/acl2/acl2-doc_2.9.3-4_all.deb acl2-emacs_2.9.3-4_all.deb to pool/main/a/acl2/acl2-emacs_2.9.3-4_all.deb acl2-infix-source_2.9.3-4_all.deb to pool/main/a/acl2/acl2-infix-source_2.9.3-4_all.deb acl2-infix_2.9.3-4_i386.deb to pool/main/a/acl2/acl2-infix_2.9.3-4_i386.deb acl2-source_2.9.3-4_all.deb to pool/main/a/acl2/acl2-source_2.9.3-4_all.deb acl2_2.9.3-4.diff.gz to pool/main/a/acl2/acl2_2.9.3-4.diff.gz acl2_2.9.3-4.dsc to pool/main/a/acl2/acl2_2.9.3-4.dsc acl2_2.9.3-4_i386.deb to pool/main/a/acl2/acl2_2.9.3-4_i386.deb -- To UNSUBSCRIBE, email to debian-devel-changes-REQUEST@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
