On 24 July 2012 18:52, Eelco Dolstra <eelco.dolstra at logicblox.com> wrote: > Hm, I have no idea why misc.sh fails. Could you try the latest stable release > (Nix 1.1)? http://www.ms.mff.cuni.cz/~cunav5am/nix-2.log Fortunately the machine is very fast and not in this room :-) Linux haf 2.6.38.4 #1 SMP Thu May 5 10:51:09 UTC 2011 x86_64 GNU/Linux Vlada