Bug#269927: coqide segfaults on startup

To: Samuel Mimram <samuel.mimram@ens-lyon.org>
Cc: browaeys.alban@wanadoo.fr, 269927@bugs.debian.org
Subject: Bug#269927: coqide segfaults on startup
From: Duraid Madina <duraid@octopus.com.au>
Date: Thu, 24 Mar 2005 02:59:06 +0900
Message-id: <[🔎] 4241AE6A.7070603@octopus.com.au>
Reply-to: Duraid Madina <duraid@octopus.com.au>, 269927@bugs.debian.org
In-reply-to: <[🔎] 4241AC28.5020208@ens-lyon.org>
References: <[🔎] 20050323172810.GA14784@argos.server.maison> <[🔎] 4241AC28.5020208@ens-lyon.org>

Apologies, but I lost access to the IA64 workstation on which I saw thatbug. 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,

	Duraid

Reply to:

References:
- Bug#269927: coqide segfaults on startup
  - From: browaeys.alban@wanadoo.fr
- Bug#269927: coqide segfaults on startup
  - From: Samuel Mimram <samuel.mimram@ens-lyon.org>

Prev by Date: Bug#269927: coqide segfaults on startup
Next by Date: Bug#269927: coqide segfaults on startup
Previous by thread: Bug#269927: coqide segfaults on startup
Next by thread: Processed: tagging 269927
Index(es):
- Date
- Thread