Resolving dependencies... Configuring call-stack-0.1.0... Configuring leancheck-0.6.7... Building call-stack-0.1.0... Building leancheck-0.6.7... Installed call-stack-0.1.0 Configuring mtl-2.2.1... Building mtl-2.2.1... Configuring primitive-0.6.2.0... Installed mtl-2.2.1 Building primitive-0.6.2.0... Configuring random-1.1... Installed leancheck-0.6.7 Building random-1.1... Configuring stm-2.4.4.1... Installed primitive-0.6.2.0 Building stm-2.4.4.1... Configuring transformers-compat-0.5.1.4... Installed random-1.1 Building transformers-compat-0.5.1.4... Configuring HUnit-1.6.0.0... Installed stm-2.4.4.1 Building HUnit-1.6.0.0... Installed transformers-compat-0.5.1.4 Configuring ref-fd-0.4.0.1... Building ref-fd-0.4.0.1... Configuring atomic-primops-0.8.1... Installed HUnit-1.6.0.0 Building atomic-primops-0.8.1... Configuring exceptions-0.8.3... Installed ref-fd-0.4.0.1 Building exceptions-0.8.3... Configuring transformers-base-0.4.4... Installed atomic-primops-0.8.1 Building transformers-base-0.4.4... Installed exceptions-0.8.3 Installed transformers-base-0.4.4 Configuring monad-control-1.0.2.2... Building monad-control-1.0.2.2... Installed monad-control-1.0.2.2 Configuring concurrency-1.2.3.0... Building concurrency-1.2.3.0... Installed concurrency-1.2.3.0 Configuring dejafu-0.9.1.0... Building dejafu-0.9.1.0... Installed dejafu-0.9.1.0 Downloading hunit-dejafu-0.7.1.1... Configuring hunit-dejafu-0.7.1.1... Building hunit-dejafu-0.7.1.1... Installed hunit-dejafu-0.7.1.1