-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Tue, 22 Feb 2005 18:34:32 +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.1-1 Distribution: unstable Urgency: high 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 Closes: 284780 Changes: acl2 (2.9.1-1) unstable; urgency=high . * New upstream release * Bug fix: "acl2: :system dir is wrong", thanks to Patrick Calhoun (Closes: #284780). Apologies, had inadvertently reverted previous fix. Now include a GNUmakefile patch setting ACL2_BOOKS_DIR. Files: 886e81c9e6ee339b6309c9f1ff3a48f9 800 math optional acl2_2.9.1-1.dsc 27e65ac3afdd869c4f813f75d4f2324c 5244150 math optional acl2_2.9.1.orig.tar.gz d29b4e039ef3ad6e033a3491ed07a42d 18985 math optional acl2_2.9.1-1.diff.gz 081c8ab0617ae963bc0bbbaac6c6d3ee 2059494 math optional acl2-source_2.9.1-1_all.deb 237b60dceca1812f434a03b525e82e48 48990 math optional acl2-emacs_2.9.1-1_all.deb f1ab579352606a498462f66bca72ca24 84460 math optional acl2-infix-source_2.9.1-1_all.deb 9a4e9d8fdba4874d10e453b8361ca06a 1255418 math optional acl2-books-source_2.9.1-1_all.deb bec99753843b475d6c76f839cec337bb 308256 math optional acl2-books-certs_2.9.1-1_all.deb 0fe9a84b53328ad968ae351a7676fb2e 1800072 doc optional acl2-doc_2.9.1-1_all.deb b67bd4edb7cf2948bc790ac9073f698c 13905244 math optional acl2_2.9.1-1_i386.deb e15b97e07c053c8e09428cb9946b4b71 181316 math optional acl2-infix_2.9.1-1_i386.deb caf49eea13c3071becadbdf9820c639c 857122 math optional acl2-books_2.9.1-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.0 (GNU/Linux) iD8DBQFCG5J0czG1wFfwRdwRAqHrAKCj5jhvElWmCrIJVEvW3O5hPATd4ACfcORK VjOj4Y8Bd7riELwwtvs5kLE= =bA1p -----END PGP SIGNATURE----- Accepted: acl2-books-certs_2.9.1-1_all.deb to pool/main/a/acl2/acl2-books-certs_2.9.1-1_all.deb acl2-books-source_2.9.1-1_all.deb to pool/main/a/acl2/acl2-books-source_2.9.1-1_all.deb acl2-books_2.9.1-1_i386.deb to pool/main/a/acl2/acl2-books_2.9.1-1_i386.deb acl2-doc_2.9.1-1_all.deb to pool/main/a/acl2/acl2-doc_2.9.1-1_all.deb acl2-emacs_2.9.1-1_all.deb to pool/main/a/acl2/acl2-emacs_2.9.1-1_all.deb acl2-infix-source_2.9.1-1_all.deb to pool/main/a/acl2/acl2-infix-source_2.9.1-1_all.deb acl2-infix_2.9.1-1_i386.deb to pool/main/a/acl2/acl2-infix_2.9.1-1_i386.deb acl2-source_2.9.1-1_all.deb to pool/main/a/acl2/acl2-source_2.9.1-1_all.deb acl2_2.9.1-1.diff.gz to pool/main/a/acl2/acl2_2.9.1-1.diff.gz acl2_2.9.1-1.dsc to pool/main/a/acl2/acl2_2.9.1-1.dsc acl2_2.9.1-1_i386.deb to pool/main/a/acl2/acl2_2.9.1-1_i386.deb acl2_2.9.1.orig.tar.gz to pool/main/a/acl2/acl2_2.9.1.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
