Accepted acl2 3.0-1 (source all i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Sat, 10 Jun 2006 17:42:09 +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: 3.0-1
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: 339032 349401
Changes:
acl2 (3.0-1) unstable; urgency=low
.
* New upstream release
* acl2-books-source and acl2-books-certs depend on mathcing version of
acl2, Closes: #339032.
* Fix emacs startup for xemacs -- remove error only, no autosetup of
tags table for xemacs, appears impossible. Closes: #349401
Files:
3dcbdc2572b1b26cdb123e6240c495fa 797 math optional acl2_3.0-1.dsc
026065c1221850d7748de7b9cc23c7fc 5966355 math optional acl2_3.0.orig.tar.gz
c78536d6ef13501bbe02465c01f47654 12940 math optional acl2_3.0-1.diff.gz
9f5cab25314384376744d722abd82241 2191000 math optional acl2-source_3.0-1_all.deb
d82647ebaa78a9fcf6b80b1b7d483f7c 50302 math optional acl2-emacs_3.0-1_all.deb
02f4616d363981d8d259260de8b2d080 85002 math optional acl2-infix-source_3.0-1_all.deb
354ae38959ad8649a918d9786ecc3bf1 1666606 math optional acl2-books-source_3.0-1_all.deb
7d92d7b0e626049b945bdf3e8e18931d 687674 math optional acl2-books-certs_3.0-1_all.deb
acb51445a253b62707bc812f5c825665 1940166 doc optional acl2-doc_3.0-1_all.deb
ab2fd4453cf61698d70afcc3cc90b02d 15285448 math optional acl2_3.0-1_i386.deb
1967e32a432bff3758dc9d5d61f6d85c 176282 math optional acl2-infix_3.0-1_i386.deb
365899f1d389fc11071ecc24ca2a5136 1245334 math optional acl2-books_3.0-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.3 (GNU/Linux)
iD8DBQFEiy6rczG1wFfwRdwRAgDCAKDAEumyx2lwgydcUoWI3ZZf3puXxwCeIrkj
5lERj/6SxC+v9N75eUClCQw=
=Mrmp
-----END PGP SIGNATURE-----
Accepted:
acl2-books-certs_3.0-1_all.deb
to pool/main/a/acl2/acl2-books-certs_3.0-1_all.deb
acl2-books-source_3.0-1_all.deb
to pool/main/a/acl2/acl2-books-source_3.0-1_all.deb
acl2-books_3.0-1_i386.deb
to pool/main/a/acl2/acl2-books_3.0-1_i386.deb
acl2-doc_3.0-1_all.deb
to pool/main/a/acl2/acl2-doc_3.0-1_all.deb
acl2-emacs_3.0-1_all.deb
to pool/main/a/acl2/acl2-emacs_3.0-1_all.deb
acl2-infix-source_3.0-1_all.deb
to pool/main/a/acl2/acl2-infix-source_3.0-1_all.deb
acl2-infix_3.0-1_i386.deb
to pool/main/a/acl2/acl2-infix_3.0-1_i386.deb
acl2-source_3.0-1_all.deb
to pool/main/a/acl2/acl2-source_3.0-1_all.deb
acl2_3.0-1.diff.gz
to pool/main/a/acl2/acl2_3.0-1.diff.gz
acl2_3.0-1.dsc
to pool/main/a/acl2/acl2_3.0-1.dsc
acl2_3.0-1_i386.deb
to pool/main/a/acl2/acl2_3.0-1_i386.deb
acl2_3.0.orig.tar.gz
to pool/main/a/acl2/acl2_3.0.orig.tar.gz
Reply to: