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