[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#269927: coqide segfaults on startup



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 check if this solves the problem?

OK, I'll try that and let you know how it goes!

	Duraid



Reply to: