-----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 <camm@enhanced.com> Changed-By: Camm Maguire <camm@enhanced.com> 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 debian-devel-changes-REQUEST@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
