Accepted acl2 2.9.3-1 (source all i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Fri, 12 Aug 2005 20:57:23 +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.3-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.3-1) unstable; urgency=low
.
* New upstream release
* probe-file -> truename *infix-directory* patch for gcl 2.6.7
Files:
39e9817562bd9b63a3f1ee1ddc57a68e 800 math optional acl2_2.9.3-1.dsc
684710c71ff418ec4a7a5f5b67bae8e0 5412099 math optional acl2_2.9.3.orig.tar.gz
44465bfec28ba635037d2056ec392b54 19328 math optional acl2_2.9.3-1.diff.gz
aa7e351744df6642ec0ce9c8c974ede2 2113332 math optional acl2-source_2.9.3-1_all.deb
c46b318ee24a05f903a80f1f172c32fd 49026 math optional acl2-emacs_2.9.3-1_all.deb
000939b90b29a2495f05c06d0b1651d0 84514 math optional acl2-infix-source_2.9.3-1_all.deb
7168268d40cf6608fc2cfb5d53e18c5e 1297632 math optional acl2-books-source_2.9.3-1_all.deb
a9a69ce8b63257d06b409caff321e41a 380546 math optional acl2-books-certs_2.9.3-1_all.deb
3e95f06abb76fdac013fca74532c19a0 1864274 doc optional acl2-doc_2.9.3-1_all.deb
899144675ab3854259c15727f063cafc 14176064 math optional acl2_2.9.3-1_i386.deb
8add0fc54b7356fdfc52a71c6a6521d2 173284 math optional acl2-infix_2.9.3-1_i386.deb
b59110161f2a4258ff7c6f4d09b793cc 859768 math optional acl2-books_2.9.3-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.1 (GNU/Linux)
iD8DBQFC/SHgczG1wFfwRdwRAtDYAJ4/h3R6bn9gTnINUzZr49dtFQ+SDACfS/x9
jjf8khC+XMTrumEiq4enGR0=
=+dZJ
-----END PGP SIGNATURE-----
Accepted:
acl2-books-certs_2.9.3-1_all.deb
to pool/main/a/acl2/acl2-books-certs_2.9.3-1_all.deb
acl2-books-source_2.9.3-1_all.deb
to pool/main/a/acl2/acl2-books-source_2.9.3-1_all.deb
acl2-books_2.9.3-1_i386.deb
to pool/main/a/acl2/acl2-books_2.9.3-1_i386.deb
acl2-doc_2.9.3-1_all.deb
to pool/main/a/acl2/acl2-doc_2.9.3-1_all.deb
acl2-emacs_2.9.3-1_all.deb
to pool/main/a/acl2/acl2-emacs_2.9.3-1_all.deb
acl2-infix-source_2.9.3-1_all.deb
to pool/main/a/acl2/acl2-infix-source_2.9.3-1_all.deb
acl2-infix_2.9.3-1_i386.deb
to pool/main/a/acl2/acl2-infix_2.9.3-1_i386.deb
acl2-source_2.9.3-1_all.deb
to pool/main/a/acl2/acl2-source_2.9.3-1_all.deb
acl2_2.9.3-1.diff.gz
to pool/main/a/acl2/acl2_2.9.3-1.diff.gz
acl2_2.9.3-1.dsc
to pool/main/a/acl2/acl2_2.9.3-1.dsc
acl2_2.9.3-1_i386.deb
to pool/main/a/acl2/acl2_2.9.3-1_i386.deb
acl2_2.9.3.orig.tar.gz
to pool/main/a/acl2/acl2_2.9.3.orig.tar.gz
Reply to: