Bug#269927: coqide segfaults on startup

[Duraid Madina <duraid@octopus.com.au>]

Samuel Mimram wrote:
> Hello,
>
> This a bit unexpected since coq and coqide are both compiled in bytecode 
> on ia64 (because of ocaml native compiler bugs).
>
> What version of ocaml-base-nox do you have? Is coqtop running fine?

Yes, coqtop runs fine - I'm sure the problem is over with the GTK/glib 
end of things. ocaml-base-nox is 3.08.1-1. I'll email you the strace - 
here is what gdb has to say about things:

#0  0x200000000095fee0 in g_type_fundamental ()
   from /usr/lib/libgobject-2.0.so.0
#1  0x4000000000079fc0 in ml_G_TYPE_FUNDAMENTAL ()
#2  0x40000000000c48a0 in caml_interprete ()
#3  0x0000000000000000 in ?? ()

	Duraid