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