> 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: [EMAIL PROTECTED] http://www.cs.unibo.it/~sacerdot ---------------------------------------------------------------- -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
