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