Your message dated Thu, 20 Oct 2005 07:47:05 -0700
with message-id <[EMAIL PROTECTED]>
and subject line Bug#323666: fixed in acl2 2.9.3-7
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; 17 Aug 2005 20:50:14 +0000
>From [EMAIL PROTECTED] Wed Aug 17 13:50:14 2005
Return-path: <[EMAIL PROTECTED]>
Received: from asia.telenet-ops.be [195.130.132.59]
by spohr.debian.org with esmtp (Exim 3.36 1 (Debian))
id 1E5UrV-0000tx-00; Wed, 17 Aug 2005 13:50:14 -0700
Received: from localhost (localhost.localdomain [127.0.0.1])
by asia.telenet-ops.be (Postfix) with SMTP id B992B224265
for <[EMAIL PROTECTED]>; Wed, 17 Aug 2005 22:50:12 +0200 (MEST)
Received: from Q.roeckx.be (dD5775F4A.access.telenet.be [213.119.95.74])
by asia.telenet-ops.be (Postfix) with ESMTP id A1452224264
for <[EMAIL PROTECTED]>; Wed, 17 Aug 2005 22:50:12 +0200 (MEST)
Received: by Q.roeckx.be (Postfix, from userid 501)
id F124B26136; Wed, 17 Aug 2005 22:50:11 +0200 (CEST)
Date: Wed, 17 Aug 2005 22:50:11 +0200
From: Kurt Roeckx <[EMAIL PROTECTED]>
To: [EMAIL PROTECTED]
Subject: acl2: FTBFS on amd64
Message-ID: <[EMAIL PROTECTED]>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.4.2.1i
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-Level:
X-Spam-Status: No, hits=-7.0 required=4.0 tests=BAYES_01,HAS_PACKAGE
autolearn=no version=2.60-bugs.debian.org_2005_01_02
Package: acl2
Version: 2.9.3-1
Severity: important
Hi,
Your package is failing to build on amd64 with the following
error:
Compiling /build/buildd/acl2-2.9.3/books/textbook/chap11/xtr2.lisp.
End of Pass 1.
End of Pass 2.
OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
Finished compiling
/build/buildd/acl2-2.9.3/books/textbook/chap11/xtr2.o.
"/build/buildd/acl2-2.9.3/books/textbook/chap11/xtr2.o"
Loading /build/buildd/acl2-2.9.3/books/textbook/chap11/xtr2.o
start address -T 0x24201c0 Finished loading
/build/buildd/acl2-2.9.3/books/textbook/chap11/xtr2.o
Summary
Form: (CERTIFY-BOOK "xtr2" ...)
Rules: NIL
Warnings: None
Time: 0.94 seconds (prove: 0.01, print: 0.00, other: 0.93)
"/build/buildd/acl2-2.9.3/books/textbook/chap11/xtr2.lisp"
ACL2 !>
Exiting the ACL2 read-eval-print loop. To re-enter, execute (LP).
ACL2>***************************************************************************+***
Build finished at 20050815-0524
FAILED [dpkg-buildpackage died]
Kurt
---------------------------------------
Received: (at 323666-close) by bugs.debian.org; 20 Oct 2005 14:48:07 +0000
>From [EMAIL PROTECTED] Thu Oct 20 07:48:06 2005
Return-path: <[EMAIL PROTECTED]>
Received: from katie by spohr.debian.org with local (Exim 3.36 1 (Debian))
id 1ESbhB-0007rR-00; Thu, 20 Oct 2005 07:47:05 -0700
From: Camm Maguire <[EMAIL PROTECTED]>
To: [EMAIL PROTECTED]
X-Katie: $Revision: 1.56 $
Subject: Bug#323666: fixed in acl2 2.9.3-7
Message-Id: <[EMAIL PROTECTED]>
Sender: Archive Administrator <[EMAIL PROTECTED]>
Date: Thu, 20 Oct 2005 07:47:05 -0700
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-Level:
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
Source: acl2
Source-Version: 2.9.3-7
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.3-7_all.deb
to pool/main/a/acl2/acl2-books-certs_2.9.3-7_all.deb
acl2-books-source_2.9.3-7_all.deb
to pool/main/a/acl2/acl2-books-source_2.9.3-7_all.deb
acl2-books_2.9.3-7_i386.deb
to pool/main/a/acl2/acl2-books_2.9.3-7_i386.deb
acl2-doc_2.9.3-7_all.deb
to pool/main/a/acl2/acl2-doc_2.9.3-7_all.deb
acl2-emacs_2.9.3-7_all.deb
to pool/main/a/acl2/acl2-emacs_2.9.3-7_all.deb
acl2-infix-source_2.9.3-7_all.deb
to pool/main/a/acl2/acl2-infix-source_2.9.3-7_all.deb
acl2-infix_2.9.3-7_i386.deb
to pool/main/a/acl2/acl2-infix_2.9.3-7_i386.deb
acl2-source_2.9.3-7_all.deb
to pool/main/a/acl2/acl2-source_2.9.3-7_all.deb
acl2_2.9.3-7.diff.gz
to pool/main/a/acl2/acl2_2.9.3-7.diff.gz
acl2_2.9.3-7.dsc
to pool/main/a/acl2/acl2_2.9.3-7.dsc
acl2_2.9.3-7_i386.deb
to pool/main/a/acl2/acl2_2.9.3-7_i386.deb
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: Thu, 20 Oct 2005 12:46:17 +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-7
Distribution: unstable
Urgency: low
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: 323666
Changes:
acl2 (2.9.3-7) unstable; urgency=low
.
* build depend on >= gcl-2.6.7-11 to get default maxpage fix for amd64,
Closes: #323666.
Files:
a43c506519aab80de35ea44cf55d034f 805 math optional acl2_2.9.3-7.dsc
5a8c004e36785341ae2fd94aae608381 20948 math optional acl2_2.9.3-7.diff.gz
f1cd9964f655804dceca5acee33498d9 2113608 math optional
acl2-source_2.9.3-7_all.deb
d96c7777cde17497304d7efda104370f 49364 math optional acl2-emacs_2.9.3-7_all.deb
d1ee2461d133639d452a49e3e67316a2 84850 math optional
acl2-infix-source_2.9.3-7_all.deb
d2610ffa9a000256017748899aa72d12 1297956 math optional
acl2-books-source_2.9.3-7_all.deb
e08ad3c20a50c16e37580e5bbb31fa4d 380824 math optional
acl2-books-certs_2.9.3-7_all.deb
aa4c7975916035192a84331a2e9dff40 1864598 doc optional acl2-doc_2.9.3-7_all.deb
0b2176d4a02213017bda670e6dc75d90 14115918 math optional acl2_2.9.3-7_i386.deb
395e168041c352931846a0448069cdd8 173516 math optional
acl2-infix_2.9.3-7_i386.deb
c6321c97665423e43cf25efe5d8996dd 859586 math optional
acl2-books_2.9.3-7_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2 (GNU/Linux)
iD8DBQFDV6lCczG1wFfwRdwRAmoZAJ9NUKeG3Yea9ytv59MPxClTXn1xzACfceQL
38k+sAaeqTV6B8drGO7hAWU=
=Gkmf
-----END PGP SIGNATURE-----
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
