Bug#269927: marked as done (coqide segfaults on startup)
Your message dated Wed, 23 Mar 2005 20:05:37 +0100
with message-id <4241BE01.6010104@ens-lyon.org>
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 duraid@octopus.com.au Sat Sep 04 04:11:20 2004
Return-path: <duraid@octopus.com.au>
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 <duraid@octopus.com.au>
To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: coqide segfaults on startup
X-Mailer: reportbug 2.64
Date: Sat, 04 Sep 2004 21:11:18 +1000
Message-Id: <E1C3YRy-0000sM-00@localhost>
Delivered-To: submit@bugs.debian.org
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 samuel.mimram@ens-lyon.org Wed Mar 23 11:06:10 2005
Return-path: <samuel.mimram@ens-lyon.org>
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: <4241BE01.6010104@ens-lyon.org>
Date: Wed, 23 Mar 2005 20:05:37 +0100
From: Samuel Mimram <samuel.mimram@ens-lyon.org>
User-Agent: Debian Thunderbird 1.0 (X11/20050116)
X-Accept-Language: en-us, en
MIME-Version: 1.0
To: Duraid Madina <duraid@octopus.com.au>
Cc: browaeys.alban@wanadoo.fr, 269927-done@bugs.debian.org
Subject: Re: Bug#269927: coqide segfaults on startup
References: <[🔎] 20050323172810.GA14784@argos.server.maison> <[🔎] 4241AC28.5020208@ens-lyon.org> <[🔎] 4241AE6A.7070603@octopus.com.au>
In-Reply-To: <[🔎] 4241AE6A.7070603@octopus.com.au>
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: 269927-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:
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.
Reply to: