Your message dated Sat, 21 May 2005 20:03:35 +0200
with message-id <[EMAIL PROTECTED]>
and subject line Bug#233891: [hppa] maxima/acl2 failures at -O1/-O2, -O0 ok
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; 20 Feb 2004 16:31:44 +0000
>From [EMAIL PROTECTED] Fri Feb 20 08:31:44 2004
Return-path: <[EMAIL PROTECTED]>
Received: from mmjgroup.com [192.34.35.33]
by spohr.debian.org with esmtp (Exim 3.35 1 (Debian))
id 1AuDZ2-0001VW-00; Fri, 20 Feb 2004 08:31:44 -0800
Received: by mmjgroup.com (Postfix, from userid 105)
id 2A0801757B; Fri, 20 Feb 2004 09:31:44 -0700 (MST)
Received: from mix.mmjgroup.com (mix.mmjgroup.com [192.34.35.48])
by mmjgroup.com (Postfix) with ESMTP id 56CB316ED3
for <[EMAIL PROTECTED]>; Fri, 20 Feb 2004 09:31:43 -0700 (MST)
Received: by mix.mmjgroup.com (Postfix, from userid 1000)
id CC04C23898; Fri, 20 Feb 2004 09:31:41 -0700 (MST)
Date: Fri, 20 Feb 2004 09:31:39 -0700
From: [EMAIL PROTECTED]
To: [EMAIL PROTECTED]
Subject: acl2_2.7-9(hppa/unstable): FTBFS: dies build docs??
Message-ID: <[EMAIL PROTECTED]>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.5.4i
Delivered-To: [EMAIL PROTECTED]
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2004_02_18
(1.212-2003-09-23-exp) on spohr.debian.org
X-Spam-Status: No, hits=-3.6 required=4.0 tests=HAS_PACKAGE,NO_REAL_NAME
autolearn=no version=2.60-bugs.debian.org_2004_02_18
X-Spam-Level:
Package: acl2
Version: 2.7-9
Severity: serious
There was an error while trying to autobuild your package:
> Automatic build of acl2_2.7-9 on sarti by sbuild/hppa 1.170.4
> Build started at 20040216-0332
[...]
> ** Using build dependencies supplied by package:
> Build-Depends: gcl ( >= 2.6.1-25 ), libgmp3-dev, libncurses5-dev,
> libreadline4-dev, binutils-dev [ i386 arm powerpc sparc s390 m68k ] ,emacs21
> | emacsen, debhelper ( >= 4 ), tetex-bin, tetex-extra, tetex-base
[...]
A full build log can be found at:
http://buildd.debian.org/build.php?arch=hppa&pkg=acl2&ver=2.7-9
---------------------------------------
Received: (at 233891-done) by bugs.debian.org; 21 May 2005 18:04:11 +0000
>From [EMAIL PROTECTED] Sat May 21 11:04:11 2005
Return-path: <[EMAIL PROTECTED]>
Received: from smtp08.web.de [217.72.192.226]
by spohr.debian.org with esmtp (Exim 3.35 1 (Debian))
id 1DZYKY-00028Q-00; Sat, 21 May 2005 11:04:10 -0700
Received: from [82.82.220.210] (helo=juist)
by smtp08.web.de with asmtp (TLSv1:DES-CBC3-SHA:168)
(WEB.DE 4.105 #291)
id 1DZYK3-00027A-00; Sat, 21 May 2005 20:03:39 +0200
Received: from falk by juist with local (Exim 4.50)
id 1DZYK0-0002Nz-0r; Sat, 21 May 2005 20:03:36 +0200
To: [EMAIL PROTECTED], Camm Maguire <[EMAIL PROTECTED]>
Subject: Re: Bug#233891: [hppa] maxima/acl2 failures at -O1/-O2, -O0 ok
References: <[EMAIL PROTECTED]> <[EMAIL PROTECTED]>
From: Falk Hueffner <[EMAIL PROTECTED]>
X-Face: "iUeUu$b*W_"w?tV83Y3*r:`rh&dRv}$YnZ3,LVeCZSYVuf[Gpo*5%_=/\_!gc_,SS}[~xZ
wY77I-M)xHIx:2f56g%/`SOw"Dx%4Xq0&f\Tj~>|QR|vGlU}TBYhiG(K:2<T^
Date: Sat, 21 May 2005 20:03:35 +0200
In-Reply-To: <[EMAIL PROTECTED]> (LaMont Jones's message
of "Sat, 21 May 2005 11:35:12 -0600")
Message-ID: <[EMAIL PROTECTED]>
User-Agent: Gnus/5.1006 (Gnus v5.10.6) XEmacs/21.5 (cilantro, linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Sender: [EMAIL PROTECTED]
X-Sender: [EMAIL PROTECTED]
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:
LaMont Jones <[EMAIL PROTECTED]> writes:
> On Sat, May 21, 2005 at 03:58:23PM +0200, Falk Hueffner wrote:
>> it seems that acl2 now builds on hppa. Can we close this bug?
>
> yes.
Okay.
--
Falk
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
