Resolving dependencies... Configuring mtl-2.2.1... Configuring leancheck-0.6.7... Building leancheck-0.6.7... Building mtl-2.2.1... Installed mtl-2.2.1 Configuring primitive-0.6.2.0... Building primitive-0.6.2.0... Installed primitive-0.6.2.0 Configuring random-1.1... Configuring semigroups-0.18.3... Installed leancheck-0.6.7 Building random-1.1... Building semigroups-0.18.3... 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... Configuring atomic-primops-0.8.1... Installed stm-2.4.4.1 Configuring ref-fd-0.4.0.1... Installed transformers-compat-0.5.1.4 Building atomic-primops-0.8.1... Building ref-fd-0.4.0.1... Installed atomic-primops-0.8.1 Configuring exceptions-0.8.3... Configuring transformers-base-0.4.4... Installed ref-fd-0.4.0.1 Building exceptions-0.8.3... Building transformers-base-0.4.4... Installed transformers-base-0.4.4 Configuring monad-control-1.0.2.2... Building monad-control-1.0.2.2... Installed exceptions-0.8.3 Installed monad-control-1.0.2.2 Configuring concurrency-1.2.1.1... Building concurrency-1.2.1.1... Installed concurrency-1.2.1.1 Configuring dejafu-0.9.0.0... Building dejafu-0.9.0.0... Installed dejafu-0.9.0.0