Frank Mehnert wrote on 28/06/05 21:31:
Hmm, that's interesting. Could be a pending CVS lock file but I did not find one after a quick look. Please try again, I think that we've fixed a segment issue this week. But it is also possible that the changes are not yet visible at the "outside". Therefore I put the file
http://os.inf.tu-dresden.de/~fm3/fiasco-20050628.tgz
online. Please try this.
The problem remains.