Accepted acl2 2.8-3 (i386 source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Tue, 11 May 2004 20:45:14 +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.8-3
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.8-3) unstable; urgency=low
.
* move doc-notes.txt to acl2-emacs
* copyright and control file clarifications
* removal of Debian specific files from distribution list in READE.Debian
* addition of arithmetic-axioms.txt and fast-notes.txt to acl2-doc
* Removal of .final certificate extension from list in README.Debian
* doc-base rephrasing
* (setq *acl2-allocation-alist* nil) in debian/patches.in for enhanced
performance with recent gcl
Files:
0e22e4755327c3762c08a29854a85f6c 831 math optional acl2_2.8-3.dsc
480566c9921fcbbdfd6af5ad28afbe8e 12229 math optional acl2_2.8-3.diff.gz
a5d7492b1c56f0e7e21704a4bafd1ef1 1943460 math optional acl2-source_2.8-3_all.deb
18325259c0be314eba2d1868298bb9bd 64152 math optional acl2-emacs_2.8-3_all.deb
ff83a99dc7c2714e963affa42645a238 83614 math optional acl2-infix-source_2.8-3_all.deb
601e91d261d56981029665a3614f1600 1227410 math optional acl2-books-source_2.8-3_all.deb
3b55c9741b873fbdb492e3651a51bae9 294348 math optional acl2-books-certs_2.8-3_all.deb
f8adca7d8faf6982ce1148cc257883ef 1657424 doc optional acl2-doc_2.8-3_all.deb
2e4b1eaccb4bd1ffc32c2f89987ffaff 13240016 math optional acl2_2.8-3_i386.deb
8b1a9ce8fcf338ef63919879533cc015 180866 math optional acl2-infix_2.8-3_i386.deb
4e00920b7f49039b577816f541ce978b 894538 math optional acl2-books_2.8-3_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.4 (GNU/Linux)
iD8DBQFAonfcczG1wFfwRdwRApk5AJ40k658219Nl/wBUVf7gDipDsT5XQCfXqNK
7gv7w2DE24VYnmnNuJZQAmc=
=Ztu7
-----END PGP SIGNATURE-----
Accepted:
acl2-books-certs_2.8-3_all.deb
to pool/main/a/acl2/acl2-books-certs_2.8-3_all.deb
acl2-books-source_2.8-3_all.deb
to pool/main/a/acl2/acl2-books-source_2.8-3_all.deb
acl2-books_2.8-3_i386.deb
to pool/main/a/acl2/acl2-books_2.8-3_i386.deb
acl2-doc_2.8-3_all.deb
to pool/main/a/acl2/acl2-doc_2.8-3_all.deb
acl2-emacs_2.8-3_all.deb
to pool/main/a/acl2/acl2-emacs_2.8-3_all.deb
acl2-infix-source_2.8-3_all.deb
to pool/main/a/acl2/acl2-infix-source_2.8-3_all.deb
acl2-infix_2.8-3_i386.deb
to pool/main/a/acl2/acl2-infix_2.8-3_i386.deb
acl2-source_2.8-3_all.deb
to pool/main/a/acl2/acl2-source_2.8-3_all.deb
acl2_2.8-3.diff.gz
to pool/main/a/acl2/acl2_2.8-3.diff.gz
acl2_2.8-3.dsc
to pool/main/a/acl2/acl2_2.8-3.dsc
acl2_2.8-3_i386.deb
to pool/main/a/acl2/acl2_2.8-3_i386.deb
Reply to: