Your message dated Wed, 03 Aug 2005 02:47:06 -0700
with message-id <[EMAIL PROTECTED]>
and subject line Bug#320691: fixed in lbt 1.2.2-3
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; 31 Jul 2005 17:22:04 +0000
>From [EMAIL PROTECTED] Sun Jul 31 10:22:04 2005
Return-path: <[EMAIL PROTECTED]>
Received: from postfix3-1.free.fr [213.228.0.44]
by spohr.debian.org with esmtp (Exim 3.36 1 (Debian))
id 1DzHVk-0007iI-00; Sun, 31 Jul 2005 10:22:04 -0700
Received: from localhost (bdv75-4-82-227-67-200.fbx.proxad.net [82.227.67.200])
by postfix3-1.free.fr (Postfix) with ESMTP id B46DF1734B9;
Sun, 31 Jul 2005 19:22:02 +0200 (CEST)
Received: from rt by localhost with local (Exim 3.36 #1 (Debian))
id 1DzHVi-0008Jt-00; Sun, 31 Jul 2005 19:22:02 +0200
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
From: Ralf Treinen <[EMAIL PROTECTED]>
To: Debian Bug Tracking System <[EMAIL PROTECTED]>
Subject: FTBFS on m68k
X-Mailer: reportbug 3.15
Date: Sun, 31 Jul 2005 19:22:02 +0200
Message-Id: <[EMAIL PROTECTED]>
Sender: Ralf Treinen <[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-Level:
X-Spam-Status: No, hits=-8.0 required=4.0 tests=BAYES_00,HAS_PACKAGE
autolearn=no version=2.60-bugs.debian.org_2005_01_02
Package: lbt
Version: 1.2.2-2
Severity: serious
Failure to build from source on m68k with gcc-4.0. Build-log:
http://buildd.debian.org/fetch.php?&pkg=lbt&ver=1.2.2-2&arch=m68k&stamp=1120730253&file=log&as=raw
This could be solved by compiling on m68k with "-O2" instead on "-O3".
However, the real reason for this bug is a gcc-4.0 upstream bug
reported here:
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23160
Let's see whether the gcc people will resolve this soon.
-Ralf
-- System Information:
Debian Release: testing/unstable
APT prefers unstable
APT policy: (500, 'unstable')
Architecture: i386 (i686)
Shell: /bin/sh linked to /bin/bash
Kernel: Linux 2.4.27
Locale: LANG=en_US, LC_CTYPE=en_US (charmap=ISO-8859-1) (ignored: LC_ALL set to
en_US)
Versions of packages lbt depends on:
ii libc6 2.3.2.ds1-22 GNU C Library: Shared libraries an
ii libgcc1 1:4.0.1-3 GCC support library
ii libstdc++6 4.0.1-3 The GNU Standard C++ Library v3
Versions of packages lbt recommends:
ii graphviz 2.2.1-1 rich set of graph drawing tools
-- no debconf information
---------------------------------------
Received: (at 320691-close) by bugs.debian.org; 3 Aug 2005 09:54:31 +0000
>From [EMAIL PROTECTED] Wed Aug 03 02:54:31 2005
Return-path: <[EMAIL PROTECTED]>
Received: from katie by spohr.debian.org with local (Exim 3.36 1 (Debian))
id 1E0Fq6-0002YL-00; Wed, 03 Aug 2005 02:47:06 -0700
From: Ralf Treinen <[EMAIL PROTECTED]>
To: [EMAIL PROTECTED]
X-Katie: $Revision: 1.56 $
Subject: Bug#320691: fixed in lbt 1.2.2-3
Message-Id: <[EMAIL PROTECTED]>
Sender: Archive Administrator <[EMAIL PROTECTED]>
Date: Wed, 03 Aug 2005 02:47:06 -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: lbt
Source-Version: 1.2.2-3
We believe that the bug you reported is fixed in the latest version of
lbt, which is due to be installed in the Debian FTP archive:
lbt_1.2.2-3.diff.gz
to pool/main/l/lbt/lbt_1.2.2-3.diff.gz
lbt_1.2.2-3.dsc
to pool/main/l/lbt/lbt_1.2.2-3.dsc
lbt_1.2.2-3_i386.deb
to pool/main/l/lbt/lbt_1.2.2-3_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.
Ralf Treinen <[EMAIL PROTECTED]> (supplier of updated lbt 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: Wed, 3 Aug 2005 09:47:21 +0200
Source: lbt
Binary: lbt
Architecture: source i386
Version: 1.2.2-3
Distribution: unstable
Urgency: low
Maintainer: Ralf Treinen <[EMAIL PROTECTED]>
Changed-By: Ralf Treinen <[EMAIL PROTECTED]>
Description:
lbt - converts from LTL formulas to Büchi automata
Closes: 320691
Changes:
lbt (1.2.2-3) unstable; urgency=low
.
* Compile with -O3 instad of -O2 on m68 to work around a gcc-4.0 bug on
m68k (closes: Bug#320691).
* Compile with "-O0" when "noopt" is in DEB_BUILD_OPTIONS.
Files:
d7ddf96153a49d9bb5018858be795341 542 math optional lbt_1.2.2-3.dsc
893cf4812c22f3369e34bfc68756f970 2062 math optional lbt_1.2.2-3.diff.gz
ced216a6d6357745ec8a0b0f4290a627 33148 math optional lbt_1.2.2-3_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.1 (GNU/Linux)
iD8DBQFC8JFvtzWmSeC6BMERAnwvAJ9ul6X7t72Uchik1ItqTk1wy6w0KQCg127D
KBR9H0KwSoEOUNR3omW4fdY=
=FOqF
-----END PGP SIGNATURE-----
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
