Resolving dependencies...
Configuring clock-0.7.2...
Configuring colour-2.3.3...
Building clock-0.7.2...
Building colour-2.3.3...
Installed clock-0.7.2
Configuring leancheck-0.6.5...
Building leancheck-0.6.5...
Configuring mtl-2.2.1...
Installed colour-2.3.3
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.5
Building random-1.1...
Configuring stm-2.4.4.1...
Installed primitive-0.6.2.0
Configuring semigroups-0.18.3...
Installed random-1.1
Building stm-2.4.4.1...
Building semigroups-0.18.3...
Configuring unbounded-delays-0.1.1.0...
Installed semigroups-0.18.3
Building unbounded-delays-0.1.1.0...
Configuring transformers-compat-0.5.1.4...
Installed stm-2.4.4.1
Building transformers-compat-0.5.1.4...
Configuring text-1.2.2.2...
Installed unbounded-delays-0.1.1.0
Building text-1.2.2.2...
Installed transformers-compat-0.5.1.4
Configuring ansi-terminal-0.7.1.1...
Building ansi-terminal-0.7.1.1...
Installed ansi-terminal-0.7.1.1
Configuring regex-base-0.93.2...
Building regex-base-0.93.2...
Configuring atomic-primops-0.8.1...
Installed regex-base-0.93.2
Building atomic-primops-0.8.1...
Configuring ref-fd-0.4.0.1...
Installed atomic-primops-0.8.1
Building ref-fd-0.4.0.1...
Configuring async-2.1.1.1...
Installed ref-fd-0.4.0.1
Building async-2.1.1.1...
Configuring tagged-0.8.5...
Installed async-2.1.1.1
Configuring exceptions-0.8.3...
Installed text-1.2.2.2
Building tagged-0.8.5...
Building exceptions-0.8.3...
Configuring transformers-base-0.4.4...
Installed tagged-0.8.5
Building transformers-base-0.4.4...
Installed exceptions-0.8.3
Configuring ansi-wl-pprint-0.6.8.1...
Building ansi-wl-pprint-0.6.8.1...
Configuring parsec-3.1.11...
Installed transformers-base-0.4.4
Building parsec-3.1.11...
Configuring monad-control-1.0.2.2...
Installed ansi-wl-pprint-0.6.8.1
Building monad-control-1.0.2.2...
Installed monad-control-1.0.2.2
Configuring concurrency-1.2.0.0...
Building concurrency-1.2.0.0...
Configuring optparse-applicative-0.14.0.0...
Installed parsec-3.1.11
Building optparse-applicative-0.14.0.0...
Installed optparse-applicative-0.14.0.0
Configuring regex-tdfa-1.2.2...
Installed concurrency-1.2.0.0
Downloading dejafu-0.8.0.0...
Configuring dejafu-0.8.0.0...
Building regex-tdfa-1.2.2...
Building dejafu-0.8.0.0...
Installed dejafu-0.8.0.0
Installed regex-tdfa-1.2.2
Configuring tasty-0.11.2.5...
Building tasty-0.11.2.5...
Installed tasty-0.11.2.5
Downloading tasty-dejafu-0.7.0.1...
Configuring tasty-dejafu-0.7.0.1...
Building tasty-dejafu-0.7.0.1...
Installed tasty-dejafu-0.7.0.1