-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Fri, 30 Apr 2004 18:54:36 +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-2
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <[EMAIL PROTECTED]>
Changed-By: Camm Maguire <[EMAIL PROTECTED]>
Description:
acl2 - Applicative Common Lisp: A Computational Logic
acl2-books - Applicative Common Lisp: A Computational Logic
acl2-books-certs - Applicative Common Lisp: A Computational Logic
acl2-books-source - Applicative Common Lisp: A Computational Logic
acl2-doc - Documentation for ACL2
acl2-emacs - Applicative Common Lisp: A Computational Logic
acl2-infix - Applicative Common Lisp: A Computational Logic
acl2-infix-source - Applicative Common Lisp: A Computational Logic
acl2-source - Applicative Common Lisp: A Computational Logic
Closes: 246721
Changes:
acl2 (2.8-2) unstable; urgency=low
.
* Bug fix: "acl2: :system dir is wrong", thanks to Cesar Eduardo Barros
(Closes: #246721). Supply final system directory in POST variable in
debian/rules.
Files:
994ba034d976dbb59ea51b6bdf6099dc 832 math optional acl2_2.8-2.dsc
91555c7f360c3a67c69cb53c39682756 12158 math optional acl2_2.8-2.diff.gz
b2fad6f39d0dab77cd2273540d1f027b 1943500 math optional acl2-source_2.8-2_all.deb
2f552662847f8f969d43265fca1cc606 60990 math optional acl2-emacs_2.8-2_all.deb
8bca6047b40725e4a1c60f43f9d897a4 83704 math optional acl2-infix-source_2.8-2_all.deb
a338a9000e202da641279bc7a403cef9 1227566 math optional acl2-books-source_2.8-2_all.deb
3628edf24f705e10e58a8a5e6cdbc84b 294552 math optional acl2-books-certs_2.8-2_all.deb
658e49bbd39f7f3348367205ee00d982 1655142 doc optional acl2-doc_2.8-2_all.deb
1f888b3de314e8415ad787a4825bc8a6 13245310 math optional acl2_2.8-2_i386.deb
10c526be4e2a45a3249ee956c72a26cf 180964 math optional acl2-infix_2.8-2_i386.deb
883adf16efa5f56fdb651b3d892fd99b 894314 math optional acl2-books_2.8-2_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.4 (GNU/Linux)
iD8DBQFAktuNczG1wFfwRdwRAkNPAJ9qZIzFG0deiqMAc+9ltiqMUosK+gCcD+vj
AXgjnLuu9LbpaNnMUW2wN/8=
=qPAP
-----END PGP SIGNATURE-----
Accepted:
acl2-books-certs_2.8-2_all.deb
to pool/main/a/acl2/acl2-books-certs_2.8-2_all.deb
acl2-books-source_2.8-2_all.deb
to pool/main/a/acl2/acl2-books-source_2.8-2_all.deb
acl2-books_2.8-2_i386.deb
to pool/main/a/acl2/acl2-books_2.8-2_i386.deb
acl2-doc_2.8-2_all.deb
to pool/main/a/acl2/acl2-doc_2.8-2_all.deb
acl2-emacs_2.8-2_all.deb
to pool/main/a/acl2/acl2-emacs_2.8-2_all.deb
acl2-infix-source_2.8-2_all.deb
to pool/main/a/acl2/acl2-infix-source_2.8-2_all.deb
acl2-infix_2.8-2_i386.deb
to pool/main/a/acl2/acl2-infix_2.8-2_i386.deb
acl2-source_2.8-2_all.deb
to pool/main/a/acl2/acl2-source_2.8-2_all.deb
acl2_2.8-2.diff.gz
to pool/main/a/acl2/acl2_2.8-2.diff.gz
acl2_2.8-2.dsc
to pool/main/a/acl2/acl2_2.8-2.dsc
acl2_2.8-2_i386.deb
to pool/main/a/acl2/acl2_2.8-2_i386.deb
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
