Bug#662738: frama-c: segfault when running frama-c-gui

Le 06/03/2012 07:00, Raphael Geissert a écrit :
> The backtrace goes all the way to libQtGui.so.4 (I use the libqt4 gtk
> engine) from the following:

How to use the libqt4 gtk engine? Can you reproduce the bug with the
standard gtk engine? (I cannot)


Cheers,

--
Stéphane




--
To UNSUBSCRIBE, email to debian-ocaml-maint-REQUEST@...
with a subject of "unsubscribe". Trouble? Contact listmaster@...
Archive: http://lists.debian.org/4F55B9FC.6080900@...