Accepted acl2 2.9.1-1 (i386 source all)
-----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
Reply to: