> Weird.. 100% used in MAIN but 0% in Main and everything else? > Does not make sense to me. I'd go for the type profiling (+RTS -hy -p)
Hmm! I just tried and now the thing is working... I'm sorry. Will retry later. Could it be that a too slow connection is the cause for the problem ? Sherab. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
