Bug#233891: [hppa] maxima/acl2 failures at -O1/-O2, -O0 ok

To: Falk Hueffner <falk@debian.org>, 233891-quiet@bugs.debian.org
Cc: 233891-submitter@bugs.debian.org, Camm Maguire <camm@enhanced.com>, 233891@bugs.debian.org
Subject: Bug#233891: [hppa] maxima/acl2 failures at -O1/-O2, -O0 ok
From: LaMont Jones <lamont@debian.org>
Date: Sat, 21 May 2005 11:35:12 -0600
Message-id: <[🔎] 20050521173512.GA28109@mmjgroup.com>
Reply-to: LaMont Jones <lamont@debian.org>, 233891@bugs.debian.org
In-reply-to: <[🔎] 87ll681y0w.fsf@debian.org>
References: <[🔎] 87ll681y0w.fsf@debian.org>

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.

Reply to:

References:
- Bug#233891: [hppa] maxima/acl2 failures at -O1/-O2, -O0 ok
  - From: Falk Hueffner <falk@debian.org>

Prev by Date: [Bug java/21697] gcj segfaults with Jabref.jar
Next by Date: Bug#233891: marked as done ([hppa] maxima/acl2 failures at -O1/-O2, -O0 ok)
Previous by thread: Bug#233891: [hppa] maxima/acl2 failures at -O1/-O2, -O0 ok
Next by thread: Bug#210716: jython causes kaffe to fail with assert error
Index(es):
- Date
- Thread