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.7...
Building leancheck-0.6.7...
Configuring mtl-2.2.1...
Installed colour-2.3.3
Building mtl-2.2.1...
Configuring random-1.1...
Installed mtl-2.2.1
Building random-1.1...
Configuring primitive-0.6.2.0...
Installed random-1.1
Configuring stm-2.4.4.1...
Installed leancheck-0.6.7
Building primitive-0.6.2.0...
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...
Installed unbounded-delays-0.1.1.0
Configuring ansi-terminal-0.7.1.1...
Building ansi-terminal-0.7.1.1...
Configuring regex-base-0.93.2...
Installed ansi-terminal-0.7.1.1
Building regex-base-0.93.2...
Configuring ref-fd-0.4.0.1...
Installed regex-base-0.93.2
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 transformers-base-0.4.4...
Installed async-2.1.1.1
Building transformers-base-0.4.4...
Configuring exceptions-0.8.3...
Installed text-1.2.2.2
Building exceptions-0.8.3...
Configuring atomic-primops-0.8.1...
Installed transformers-base-0.4.4
Building atomic-primops-0.8.1...
Configuring tagged-0.8.5...
Installed atomic-primops-0.8.1
Installed exceptions-0.8.3
Configuring ansi-wl-pprint-0.6.8.1...
Building tagged-0.8.5...
Building ansi-wl-pprint-0.6.8.1...
Configuring monad-control-1.0.2.2...
Installed ansi-wl-pprint-0.6.8.1
Configuring parsec-3.1.11...
Installed tagged-0.8.5
Building monad-control-1.0.2.2...
Building parsec-3.1.11...
Installed monad-control-1.0.2.2
Configuring concurrency-1.2.1.2...
Building concurrency-1.2.1.2...
Configuring optparse-applicative-0.14.0.0...
Installed parsec-3.1.11
Building optparse-applicative-0.14.0.0...
Installed concurrency-1.2.1.2
Downloading dejafu-0.9.0.2...
Configuring regex-tdfa-1.2.2...
Building regex-tdfa-1.2.2...
Configuring dejafu-0.9.0.2...
Installed optparse-applicative-0.14.0.0
Building dejafu-0.9.0.2...
Installed regex-tdfa-1.2.2
Configuring tasty-0.12...
Installed dejafu-0.9.0.2
Building tasty-0.12...
Installed tasty-0.12
Downloading tasty-dejafu-0.7.0.3...
Configuring tasty-dejafu-0.7.0.3...
Building tasty-dejafu-0.7.0.3...
Installed tasty-dejafu-0.7.0.3