Your message dated Tue, 22 Feb 2005 15:47:28 -0500
with message-id <[EMAIL PROTECTED]>
and subject line Bug#284780: fixed in acl2 2.9.1-1
has caused the attached Bug report to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what I am
talking about this indicates a serious mail system misconfiguration
somewhere. Please contact me immediately.)
Debian bug tracking system administrator
(administrator, Debian Bugs database)
--------------------------------------
Received: (at submit) by bugs.debian.org; 8 Dec 2004 18:28:57 +0000
>From [EMAIL PROTECTED] Wed Dec 08 10:28:56 2004
Return-path: <[EMAIL PROTECTED]>
Received: from mail.zero.ou.edu (r2d2.ou.edu) [129.15.0.75]
by spohr.debian.org with esmtp (Exim 3.35 1 (Debian))
id 1Cc6Ya-0007rX-00; Wed, 08 Dec 2004 10:28:56 -0800
Received: from localhost.localdomain ([129.15.40.186])
by r2d2.ou.edu (Sun Java System Messaging Server 6.1 HotFix 0.01 (built Jun 24
2004)) with ESMTP id <[EMAIL PROTECTED]> for
[EMAIL PROTECTED]; Wed, 08 Dec 2004 12:26:29 -0600 (CST)
Date: Wed, 08 Dec 2004 12:28:58 -0600
From: Patrick Calhoun <[EMAIL PROTECTED]>
Subject: acl2: :system dir is wrong
To: Debian Bug Tracking System <[EMAIL PROTECTED]>
Bcc: Patrick Calhoun <[EMAIL PROTECTED]>
Message-id: <[EMAIL PROTECTED]>
MIME-version: 1.0
X-Mailer: reportbug 3.2
Content-type: text/plain; charset=us-ascii
Content-transfer-encoding: 7BIT
Delivered-To: [EMAIL PROTECTED]
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2004_03_25
(1.212-2003-09-23-exp) on spohr.debian.org
X-Spam-Status: No, hits=-8.0 required=4.0 tests=BAYES_00,HAS_PACKAGE
autolearn=no version=2.60-bugs.debian.org_2004_03_25
X-Spam-Level:
Package: acl2
Version: 2.9-2
Severity: normal
ACL2 !>(include-book "foo" :dir :system)
ACL2 Error in ( INCLUDE-BOOK "foo" ...): There is no file named
"/fix/f/camm/acl2-2.9/books/foo.lisp" that can be opened for input.
Summary
Form: ( INCLUDE-BOOK "foo" ...)
Rules: NIL
Warnings: None
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
******** FAILED ******** See :DOC failure ******** FAILED ********
This is just like bug #246721
It is using the wrong directory; it should use /usr/share/acl2-2.9
instead of /fix/f/camm/acl2-2.9
-- System Information:
Debian Release: 3.1
APT prefers testing
APT policy: (500, 'testing'), (300, 'unstable')
Architecture: i386 (i686)
Kernel: Linux 2.6.9-vegan
Locale: LANG=en_US, LC_CTYPE=en_US (charmap=ISO-8859-1)
Versions of packages acl2 depends on:
ii libc6 2.3.2.ds1-18 GNU C Library: Shared libraries an
ii libgmp3 4.1.4-4 Multiprecision arithmetic library
ii libncurses5 5.4-4 Shared libraries for terminal hand
ii libreadline4 4.3-11 GNU readline and history libraries
-- no debconf information
---------------------------------------
Received: (at 284780-close) by bugs.debian.org; 22 Feb 2005 20:54:04 +0000
>From [EMAIL PROTECTED] Tue Feb 22 12:54:04 2005
Return-path: <[EMAIL PROTECTED]>
Received: from newraff.debian.org [208.185.25.31] (mail)
by spohr.debian.org with esmtp (Exim 3.35 1 (Debian))
id 1D3h2h-0007IC-00; Tue, 22 Feb 2005 12:54:04 -0800
Received: from katie by newraff.debian.org with local (Exim 3.35 1 (Debian))
id 1D3gwK-00030b-00; Tue, 22 Feb 2005 15:47:28 -0500
From: Camm Maguire <[EMAIL PROTECTED]>
To: [EMAIL PROTECTED]
X-Katie: $Revision: 1.55 $
Subject: Bug#284780: fixed in acl2 2.9.1-1
Message-Id: <[EMAIL PROTECTED]>
Sender: Archive Administrator <[EMAIL PROTECTED]>
Date: Tue, 22 Feb 2005 15:47:28 -0500
Delivered-To: [EMAIL PROTECTED]
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2005_01_02
(1.212-2003-09-23-exp) on spohr.debian.org
X-Spam-Status: No, hits=-6.0 required=4.0 tests=BAYES_00,HAS_BUG_NUMBER
autolearn=no version=2.60-bugs.debian.org_2005_01_02
X-Spam-Level:
Source: acl2
Source-Version: 2.9.1-1
We believe that the bug you reported is fixed in the latest version of
acl2, which is due to be installed in the Debian FTP archive:
acl2-books-certs_2.9.1-1_all.deb
to pool/main/a/acl2/acl2-books-certs_2.9.1-1_all.deb
acl2-books-source_2.9.1-1_all.deb
to pool/main/a/acl2/acl2-books-source_2.9.1-1_all.deb
acl2-books_2.9.1-1_i386.deb
to pool/main/a/acl2/acl2-books_2.9.1-1_i386.deb
acl2-doc_2.9.1-1_all.deb
to pool/main/a/acl2/acl2-doc_2.9.1-1_all.deb
acl2-emacs_2.9.1-1_all.deb
to pool/main/a/acl2/acl2-emacs_2.9.1-1_all.deb
acl2-infix-source_2.9.1-1_all.deb
to pool/main/a/acl2/acl2-infix-source_2.9.1-1_all.deb
acl2-infix_2.9.1-1_i386.deb
to pool/main/a/acl2/acl2-infix_2.9.1-1_i386.deb
acl2-source_2.9.1-1_all.deb
to pool/main/a/acl2/acl2-source_2.9.1-1_all.deb
acl2_2.9.1-1.diff.gz
to pool/main/a/acl2/acl2_2.9.1-1.diff.gz
acl2_2.9.1-1.dsc
to pool/main/a/acl2/acl2_2.9.1-1.dsc
acl2_2.9.1-1_i386.deb
to pool/main/a/acl2/acl2_2.9.1-1_i386.deb
acl2_2.9.1.orig.tar.gz
to pool/main/a/acl2/acl2_2.9.1.orig.tar.gz
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [EMAIL PROTECTED],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Camm Maguire <[EMAIL PROTECTED]> (supplier of updated acl2 package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [EMAIL PROTECTED])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Tue, 22 Feb 2005 18:34:32 +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.1-1
Distribution: unstable
Urgency: high
Maintainer: Camm Maguire <[EMAIL PROTECTED]>
Changed-By: Camm Maguire <[EMAIL PROTECTED]>
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: 284780
Changes:
acl2 (2.9.1-1) unstable; urgency=high
.
* New upstream release
* Bug fix: "acl2: :system dir is wrong", thanks to Patrick Calhoun
(Closes: #284780). Apologies, had inadvertently reverted previous
fix. Now include a GNUmakefile patch setting ACL2_BOOKS_DIR.
Files:
886e81c9e6ee339b6309c9f1ff3a48f9 800 math optional acl2_2.9.1-1.dsc
27e65ac3afdd869c4f813f75d4f2324c 5244150 math optional acl2_2.9.1.orig.tar.gz
d29b4e039ef3ad6e033a3491ed07a42d 18985 math optional acl2_2.9.1-1.diff.gz
081c8ab0617ae963bc0bbbaac6c6d3ee 2059494 math optional
acl2-source_2.9.1-1_all.deb
237b60dceca1812f434a03b525e82e48 48990 math optional acl2-emacs_2.9.1-1_all.deb
f1ab579352606a498462f66bca72ca24 84460 math optional
acl2-infix-source_2.9.1-1_all.deb
9a4e9d8fdba4874d10e453b8361ca06a 1255418 math optional
acl2-books-source_2.9.1-1_all.deb
bec99753843b475d6c76f839cec337bb 308256 math optional
acl2-books-certs_2.9.1-1_all.deb
0fe9a84b53328ad968ae351a7676fb2e 1800072 doc optional acl2-doc_2.9.1-1_all.deb
b67bd4edb7cf2948bc790ac9073f698c 13905244 math optional acl2_2.9.1-1_i386.deb
e15b97e07c053c8e09428cb9946b4b71 181316 math optional
acl2-infix_2.9.1-1_i386.deb
caf49eea13c3071becadbdf9820c639c 857122 math optional
acl2-books_2.9.1-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.0 (GNU/Linux)
iD8DBQFCG5J0czG1wFfwRdwRAqHrAKCj5jhvElWmCrIJVEvW3O5hPATd4ACfcORK
VjOj4Y8Bd7riELwwtvs5kLE=
=bA1p
-----END PGP SIGNATURE-----
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
