Re: Ocaml 3.08.2 & LablGTK2 : inconsistent assumptions over implementation Thread
> Not with a 100% certainity, but looking at my tofubar script output
> (attached after epuration of spurious lablgtk1 vs lablgtk2 conflicts), I
> would say that the packages affected are:
I am wondering why Coq is not in the list (since it uses camlp4
A LOT). For sure it needs to be recompiled.
--
----------------------------------------------------------------
Real name: Claudio Sacerdoti Coen
Doctor in Computer Science, University of Bologna
E-mail: sacerdot@cs.unibo.it
http://www.cs.unibo.it/~sacerdot
----------------------------------------------------------------
Reply to: