Accepted acl2 2.9.2-1 (i386 source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Mon, 25 Apr 2005 14:00:42 +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-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
Changes:
acl2 (2.9.2-1) unstable; urgency=low
.
* New upstream release
Files:
eab8503fc8dc76283255f488ae8d41a6 800 math optional acl2_2.9.2-1.dsc
c513936579e3527a4952409df8c708c5 5352740 math optional acl2_2.9.2.orig.tar.gz
31a0b46b38f748ca8c1c58a9da748611 14075 math optional acl2_2.9.2-1.diff.gz
27675fff94143f9855d29ed42b76307d 2086162 math optional acl2-source_2.9.2-1_all.deb
47e9f70a802c074c9b9ff5bf1e16f020 48970 math optional acl2-emacs_2.9.2-1_all.deb
58046f2d0186138272db1621d3a6e258 84442 math optional acl2-infix-source_2.9.2-1_all.deb
599a06bab760d2f8463b2c76d75fba10 1285188 math optional acl2-books-source_2.9.2-1_all.deb
01fbf6cc48fe9bf38615fd8c5817748d 379654 math optional acl2-books-certs_2.9.2-1_all.deb
6f6db3e3a08d13092d38c3994a7658c4 1844426 doc optional acl2-doc_2.9.2-1_all.deb
ae18eeabe2eafb076c714e0fe5b1b02e 14314016 math optional acl2_2.9.2-1_i386.deb
709acfd3dac0c9ae1cb99baeb6b441ab 181320 math optional acl2-infix_2.9.2-1_i386.deb
ee109a82f5fcce8f2002d641053de1f5 876894 math optional acl2-books_2.9.2-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.0 (GNU/Linux)
iD8DBQFCbRJ3czG1wFfwRdwRAhmPAJ9eRjvVMN+tqaNt6qzmzE1kEgRrTACdFh3a
56myqYtTCs9Eu9UalIe4wRs=
=uwVJ
-----END PGP SIGNATURE-----
Accepted:
acl2-books-certs_2.9.2-1_all.deb
to pool/main/a/acl2/acl2-books-certs_2.9.2-1_all.deb
acl2-books-source_2.9.2-1_all.deb
to pool/main/a/acl2/acl2-books-source_2.9.2-1_all.deb
acl2-books_2.9.2-1_i386.deb
to pool/main/a/acl2/acl2-books_2.9.2-1_i386.deb
acl2-doc_2.9.2-1_all.deb
to pool/main/a/acl2/acl2-doc_2.9.2-1_all.deb
acl2-emacs_2.9.2-1_all.deb
to pool/main/a/acl2/acl2-emacs_2.9.2-1_all.deb
acl2-infix-source_2.9.2-1_all.deb
to pool/main/a/acl2/acl2-infix-source_2.9.2-1_all.deb
acl2-infix_2.9.2-1_i386.deb
to pool/main/a/acl2/acl2-infix_2.9.2-1_i386.deb
acl2-source_2.9.2-1_all.deb
to pool/main/a/acl2/acl2-source_2.9.2-1_all.deb
acl2_2.9.2-1.diff.gz
to pool/main/a/acl2/acl2_2.9.2-1.diff.gz
acl2_2.9.2-1.dsc
to pool/main/a/acl2/acl2_2.9.2-1.dsc
acl2_2.9.2-1_i386.deb
to pool/main/a/acl2/acl2_2.9.2-1_i386.deb
acl2_2.9.2.orig.tar.gz
to pool/main/a/acl2/acl2_2.9.2.orig.tar.gz
Reply to: