Bug#269927: coqide segfaults on startup

2005-03-23 Thread Samuel Mimram
Tags: unreproducible Hi, [EMAIL PROTECTED] wrote: Hi This is a followup for bug : http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=269927 Samuel Mimram wrote: Hello, I just figured out that you do not have the last version of labgtk2.0-0 (which is 2.4.9-1). Just in case, could you try to upgrad

Bug#269927: coqide segfaults on startup

2005-03-23 Thread Duraid Madina
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, Duraid -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] wit

Bug#269927: coqide segfaults on startup

2005-03-23 Thread browaeys . alban
Hi This is a followup for bug : http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=269927 >Samuel Mimram wrote: >> Hello, >> >> I just figured out that you do not have the last version of >> labgtk2.0-0 >> (which is 2.4.9-1). Just in case, could you try to upgrade to >> the last >> version and