error upgrading kdeedu4

2010-04-01 Thread Dino Vliet
Hi people, portupgrade kdeedu gives the following error: Warning: name horizontalSpacer_2 is already used [ 92%] Generating chemset.cmi [ 92%] Generating chemset.cmx [ 92%] Generating parser.cmi [ 92%] Generating parser.cmx [ 92%] Generating lexer.cmx [ 92%] Generating datastruct.cmi [ 92%]

Re: error upgrading kdeedu4

2010-04-01 Thread Marco Beishuizen
On Thu, 1 Apr 2010, Dino Vliet wrote: Error: Files /usr/local/lib/ocaml/facile/facile.cmxa and /usr/local/lib/ocaml/stdlib.cmxa make inconsistent assumptions over interface Buffer *** Error code 2 You have to reinstall facile first, and then upgrade kdeedu. I had the same problem