Accepted acl2 2.8-5 (i386 source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Fri, 17 Sep 2004 13:11:05 +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-5
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
Closes: 260112
Changes:
acl2 (2.8-5) unstable; urgency=low
.
* Bug fix: "acl2-emacs: ACL2 emacs mode produces an error on acl2
defstobjs definition", thanks to David (Closes: #260112). Small patch
to acl2-mode.el added to debian/patches.
* Build depend on latest gcl for performance and stability improvements.
Files:
f68fdbb2f513abc84b338d0bf411f9d5 794 math optional acl2_2.8-5.dsc
ba8919fe77deebc8491fd06b843c6a09 12439 math optional acl2_2.8-5.diff.gz
051261cca87618d5a294f714645edb2c 2029620 math optional acl2-source_2.8-5_all.deb
ac0b092bbda9cd52e563a1b623c81297 64362 math optional acl2-emacs_2.8-5_all.deb
507cec8c67919e400eac43681b50be7c 83856 math optional acl2-infix-source_2.8-5_all.deb
8f4a30b8575a297c0251019b213b767a 1227664 math optional acl2-books-source_2.8-5_all.deb
37cb8911596bcd9ac90969bb1fda327e 294660 math optional acl2-books-certs_2.8-5_all.deb
c7b54eab1d66e213d8f6de7989de8bbe 1657618 doc optional acl2-doc_2.8-5_all.deb
fc6fd31e4de21d3cef57638e5d595e07 13461586 math optional acl2_2.8-5_i386.deb
c9d1b7015a3e388f3b2d7d35d8c956c3 180756 math optional acl2-infix_2.8-5_i386.deb
1a56591ecca86aeaa5086b64a60a5790 894814 math optional acl2-books_2.8-5_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.5 (GNU/Linux)
iD8DBQFBSvyvczG1wFfwRdwRAlHeAJ47xIHCJH5w6EMNzVR2pHxJ2od2HQCeMvjQ
R3oEuvnOVAOfZdFGqCkHcY8=
=TxJ+
-----END PGP SIGNATURE-----
Accepted:
acl2-books-certs_2.8-5_all.deb
to pool/main/a/acl2/acl2-books-certs_2.8-5_all.deb
acl2-books-source_2.8-5_all.deb
to pool/main/a/acl2/acl2-books-source_2.8-5_all.deb
acl2-books_2.8-5_i386.deb
to pool/main/a/acl2/acl2-books_2.8-5_i386.deb
acl2-doc_2.8-5_all.deb
to pool/main/a/acl2/acl2-doc_2.8-5_all.deb
acl2-emacs_2.8-5_all.deb
to pool/main/a/acl2/acl2-emacs_2.8-5_all.deb
acl2-infix-source_2.8-5_all.deb
to pool/main/a/acl2/acl2-infix-source_2.8-5_all.deb
acl2-infix_2.8-5_i386.deb
to pool/main/a/acl2/acl2-infix_2.8-5_i386.deb
acl2-source_2.8-5_all.deb
to pool/main/a/acl2/acl2-source_2.8-5_all.deb
acl2_2.8-5.diff.gz
to pool/main/a/acl2/acl2_2.8-5.diff.gz
acl2_2.8-5.dsc
to pool/main/a/acl2/acl2_2.8-5.dsc
acl2_2.8-5_i386.deb
to pool/main/a/acl2/acl2_2.8-5_i386.deb
Reply to: