[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#233891: marked as done ([hppa] maxima/acl2 failures at -O1/-O2, -O0 ok)



Your message dated Sat, 21 May 2005 20:03:35 +0200
with message-id <87oeb4zcaw.fsf@debian.org>
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 lamont@mmjgroup.com Fri Feb 20 08:31:44 2004
Return-path: <lamont@mmjgroup.com>
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 <submit@bugs.debian.org>; 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: lamont@debian.org
To: submit@bugs.debian.org
Subject: acl2_2.7-9(hppa/unstable): FTBFS: dies build docs??
Message-ID: <20040220163139.GF23581@mmjgroup.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.5.4i
Delivered-To: submit@bugs.debian.org
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 falk@debian.org Sat May 21 11:04:11 2005
Return-path: <falk@debian.org>
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: 233891-done@bugs.debian.org, Camm Maguire <camm@enhanced.com>
Subject: Re: Bug#233891: [hppa] maxima/acl2 failures at -O1/-O2, -O0 ok
References: <[🔎] 87ll681y0w.fsf@debian.org> <[🔎] 20050521173512.GA28109@mmjgroup.com>
From: Falk Hueffner <falk@debian.org>
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: <[🔎] 20050521173512.GA28109@mmjgroup.com> (LaMont Jones's message
 of "Sat, 21 May 2005 11:35:12 -0600")
Message-ID: <87oeb4zcaw.fsf@debian.org>
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: falk@debian.org
X-Sender: falk.hueffner@web.de
Delivered-To: 233891-done@bugs.debian.org
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 <lamont@debian.org> 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



Reply to: