Your message dated Wed, 23 Mar 2005 20:05:37 +0100 with message-id <[EMAIL PROTECTED]> and subject line Bug#269927: coqide segfaults on startup 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; 4 Sep 2004 11:11:20 +0000 >From [EMAIL PROTECTED] Sat Sep 04 04:11:20 2004 Return-path: <[EMAIL PROTECTED]> Received: from ppp196-135.lns1.syd2.internode.on.net (localhost) [203.122.196.135] (ffs) by spohr.debian.org with esmtp (Exim 3.35 1 (Debian)) id 1C3YS0-0000km-00; Sat, 04 Sep 2004 04:11:20 -0700 Received: from duraid by localhost with local (Exim 3.36 #1 (Debian)) id 1C3YRy-0000sM-00; Sat, 04 Sep 2004 21:11:18 +1000 Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Duraid Madina <[EMAIL PROTECTED]> To: Debian Bug Tracking System <[EMAIL PROTECTED]> Subject: coqide segfaults on startup X-Mailer: reportbug 2.64 Date: Sat, 04 Sep 2004 21:11:18 +1000 Message-Id: <[EMAIL PROTECTED]> Delivered-To: [EMAIL PROTECTED] X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2004_03_25 (1.212-2003-09-23-exp) on spohr.debian.org X-Spam-Status: No, hits=-8.0 required=4.0 tests=BAYES_00,HAS_PACKAGE autolearn=no version=2.60-bugs.debian.org_2004_03_25 X-Spam-Level: Package: coqide Version: 8.0pl1-3 Severity: important Hi there, Unfortunately, coqide segfaults on startup. I have a feeling this is a 64-bit cleanliness issue, not only an IA64 issue, but I could be wrong. coqide and coqide.byte both fail in the same way. -- System Information: Debian Release: 3.1 APT prefers unstable APT policy: (500, 'unstable') Architecture: ia64 Kernel: Linux 2.6.5-rc2 Locale: LANG=C, LC_CTYPE=C Versions of packages coqide depends on: ii coq 8.0pl1-3 Proof assistant for higher-order l ii libatk1.0-0 1.6.1-3 The ATK accessibility toolkit ii libc6.1 2.3.2.ds1-16 GNU C Library: Shared libraries an ii libglib2.0-0 2.4.6-2 The GLib library of C routines ii libgtk2.0-0 2.4.4-2 The GTK+ graphical user interface ii liblablgtk2-ocaml 2.4.0-2 Runtime libraries for ocaml bindin ii libncurses5 5.4-4 Shared libraries for terminal hand ii libpango1.0-0 1.4.1-2 Layout and rendering of internatio -- no debconf information --------------------------------------- Received: (at 269927-done) by bugs.debian.org; 23 Mar 2005 19:06:11 +0000 >From [EMAIL PROTECTED] Wed Mar 23 11:06:10 2005 Return-path: <[EMAIL PROTECTED]> Received: from bernache.ens-lyon.fr [140.77.167.10] by spohr.debian.org with esmtp (Exim 3.35 1 (Debian)) id 1DEBBC-0007HM-00; Wed, 23 Mar 2005 11:06:10 -0800 Received: by bernache.ens-lyon.fr (Postfix, from userid 103) id C821E7ABD4B; Wed, 23 Mar 2005 20:06:04 +0100 (CET) Received: from [84.97.221.15] (15.221.97-84.rev.gaoland.net [84.97.221.15]) (using TLSv1 with cipher RC4-MD5 (128/128 bits)) (Client did not present a certificate) by bernache.ens-lyon.fr (Postfix) with ESMTP id 0B6FB7ABD46; Wed, 23 Mar 2005 20:05:38 +0100 (CET) Message-ID: <[EMAIL PROTECTED]> Date: Wed, 23 Mar 2005 20:05:37 +0100 From: Samuel Mimram <[EMAIL PROTECTED]> User-Agent: Debian Thunderbird 1.0 (X11/20050116) X-Accept-Language: en-us, en MIME-Version: 1.0 To: Duraid Madina <[EMAIL PROTECTED]> Cc: [EMAIL PROTECTED], [EMAIL PROTECTED] Subject: Re: Bug#269927: coqide segfaults on startup References: <[EMAIL PROTECTED]> <[EMAIL PROTECTED]> <[EMAIL PROTECTED]> In-Reply-To: <[EMAIL PROTECTED]> X-Enigmail-Version: 0.89.0.0 X-Enigmail-Supports: pgp-inline, pgp-mime Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit 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: Hi, Duraid Madina wrote: > Apologies, but I lost access to the IA64 workstation on which I saw that > bug. Sorry to bother everyone, but I guess it's best to close this bug. > If I run into it again in the future, I'll try to fix it myself. > > Apologies once again, No problem. Thanks for having reported anyway. I'm closing the bug. Regards, Samuel. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]