Resolving dependencies... Warning: The following packages are likely to be broken by the reinstalls: OpenGL-3.0.2.0 GLUT-2.7.0.12 Continuing even though the plan contains dangerous reinstalls. Configuring cabal-doctest-1.0.6... Configuring base-orphans-0.7... Building cabal-doctest-1.0.6... Building base-orphans-0.7... Installed base-orphans-0.7 Configuring clock-0.7.2... Building clock-0.7.2... Installed cabal-doctest-1.0.6 Configuring colour-2.3.4... Building colour-2.3.4... Installed clock-0.7.2 Configuring leancheck-0.7.0... Building leancheck-0.7.0... Installed colour-2.3.4 Configuring semigroups-0.18.4... Building semigroups-0.18.4... Installed semigroups-0.18.4 Configuring th-abstraction-0.2.6.0... Building th-abstraction-0.2.6.0... Installed th-abstraction-0.2.6.0 Configuring transformers-0.5.5.0... Building transformers-0.5.5.0... Installed leancheck-0.7.0 Configuring unbounded-delays-0.1.1.0... Building unbounded-delays-0.1.1.0... Installed unbounded-delays-0.1.1.0 Configuring ansi-terminal-0.8.0.2... Building ansi-terminal-0.8.0.2... Installed ansi-terminal-0.8.0.2 Configuring ansi-wl-pprint-0.6.8.2... Building ansi-wl-pprint-0.6.8.2... Installed transformers-0.5.5.0 Configuring transformers-compat-0.6.0.6... Installed ansi-wl-pprint-0.6.8.2 Configuring primitive-0.6.3.0... Building transformers-compat-0.6.0.6... Building primitive-0.6.3.0... Installed transformers-compat-0.6.0.6 Configuring mtl-2.2.2... Building mtl-2.2.2... Installed mtl-2.2.2 Configuring StateVar-1.1.0.4... Installed primitive-0.6.3.0 Configuring transformers-base-0.4.4... Building StateVar-1.1.0.4... Building transformers-base-0.4.4... Installed StateVar-1.1.0.4 Configuring tagged-0.8.5... Installed transformers-base-0.4.4 Configuring optparse-applicative-0.14.2.0... Building tagged-0.8.5... Building optparse-applicative-0.14.2.0... Installed tagged-0.8.5 Configuring exceptions-0.10.0... Building exceptions-0.10.0... Installed optparse-applicative-0.14.2.0 Configuring atomic-primops-0.8.2... Building atomic-primops-0.8.2... Installed exceptions-0.10.0 Configuring contravariant-1.4.1... Building contravariant-1.4.1... Installed atomic-primops-0.8.2 Configuring monad-control-1.0.2.3... Building monad-control-1.0.2.3... Installed contravariant-1.4.1 Configuring distributive-0.5.3... Installed monad-control-1.0.2.3 Configuring tasty-1.0.1.1... Building tasty-1.0.1.1... Building distributive-0.5.3... Installed distributive-0.5.3 Downloading concurrency-1.5.0.0... Configuring concurrency-1.5.0.0... Building concurrency-1.5.0.0... Installed tasty-1.0.1.1 Configuring comonad-5.0.3... Building comonad-5.0.3... Installed comonad-5.0.3 Configuring bifunctors-5.5.2... Building bifunctors-5.5.2... Installed concurrency-1.5.0.0 Installed bifunctors-5.5.2 Configuring profunctors-5.2.2... Building profunctors-5.2.2... Installed profunctors-5.2.2 Downloading dejafu-1.5.0.0... Configuring dejafu-1.5.0.0... Building dejafu-1.5.0.0... Installed dejafu-1.5.0.0 Downloading tasty-dejafu-1.2.0.0... Configuring tasty-dejafu-1.2.0.0... Building tasty-dejafu-1.2.0.0... Installed tasty-dejafu-1.2.0.0