The Coq mailing list

[AUGER C�dric <Cedric.Auger AT lri.fr>]

I just wanted to compile trunk version of coq, but i failed in compiling it:
I don't have dlllablgtk2.so in /usr/lib64/ocaml/stublibs/, looking closer
in the lablgtk2 package from openSUSE 11.0 (x86_64) with Linux
2.6.25.16-0.1-default x86_64

i found that this file wasn't provided, any body knows if the package is
incomplete or that such a file won't be required anymore in the future?

Is there a way to install the last version of coqide in an other way?

Thanks

-- 
Cédric AUGER

Univ Paris-Sud, Laboratoire LRI, UMR 8623, F-91405, Orsay