Accepted acl2 2.9-2 (i386 source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Fri, 5 Nov 2004 21:39:50 +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-2
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
Changes:
acl2 (2.9-2) unstable; urgency=high
.
* Don't strip saved_acl2 on powerpc, see #210809.
Files:
dfd1cd042af95f32ec3f99be5be6fca3 794 math optional acl2_2.9-2.dsc
12da229f954b870337c2e32c17d381b0 18129 math optional acl2_2.9-2.diff.gz
9a592644fbae06c6d4c069b0cc99f4f1 2049908 math optional acl2-source_2.9-2_all.deb
4baef04a448d06e4c71c9f29d8cd58d1 48736 math optional acl2-emacs_2.9-2_all.deb
2168719d971eeb74a96ab96a4ee0bef3 84244 math optional acl2-infix-source_2.9-2_all.deb
e25916b5f17066ff2807445588d9791b 1235748 math optional acl2-books-source_2.9-2_all.deb
055b23cb6c5bead0baffcb41727858d2 295786 math optional acl2-books-certs_2.9-2_all.deb
0f471e054e1f0795fa501c1f8aefc448 1791978 doc optional acl2-doc_2.9-2_all.deb
c767ca660bcb669eaf1bc7ca6e3cc1f0 13730948 math optional acl2_2.9-2_i386.deb
6ecdc72ec1db9c2aee40e920ab54660d 181118 math optional acl2-infix_2.9-2_i386.deb
e37e07e09faf41fa518c4926e3015f18 833342 math optional acl2-books_2.9-2_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.5 (GNU/Linux)
iD8DBQFBjDVxczG1wFfwRdwRAs5AAKC680y6jmDH3teCB3L71ERJr4BQtQCcC4Oi
lUzVGKq411JNx3Csuv3qAQc=
=JoWk
-----END PGP SIGNATURE-----
Accepted:
acl2-books-certs_2.9-2_all.deb
to pool/main/a/acl2/acl2-books-certs_2.9-2_all.deb
acl2-books-source_2.9-2_all.deb
to pool/main/a/acl2/acl2-books-source_2.9-2_all.deb
acl2-books_2.9-2_i386.deb
to pool/main/a/acl2/acl2-books_2.9-2_i386.deb
acl2-doc_2.9-2_all.deb
to pool/main/a/acl2/acl2-doc_2.9-2_all.deb
acl2-emacs_2.9-2_all.deb
to pool/main/a/acl2/acl2-emacs_2.9-2_all.deb
acl2-infix-source_2.9-2_all.deb
to pool/main/a/acl2/acl2-infix-source_2.9-2_all.deb
acl2-infix_2.9-2_i386.deb
to pool/main/a/acl2/acl2-infix_2.9-2_i386.deb
acl2-source_2.9-2_all.deb
to pool/main/a/acl2/acl2-source_2.9-2_all.deb
acl2_2.9-2.diff.gz
to pool/main/a/acl2/acl2_2.9-2.diff.gz
acl2_2.9-2.dsc
to pool/main/a/acl2/acl2_2.9-2.dsc
acl2_2.9-2_i386.deb
to pool/main/a/acl2/acl2_2.9-2_i386.deb
Reply to: