Resolving dependencies...
Configuring ansi-terminal-0.6.2.3...
Configuring base-orphans-0.5.4...
Building base-orphans-0.5.4...
Building ansi-terminal-0.6.2.3...
Installed base-orphans-0.5.4
Configuring data-default-class-0.1.2.0...
Building data-default-class-0.1.2.0...
Configuring mtl-2.2.1...
Installed ansi-terminal-0.6.2.3
Configuring prelude-extras-0.4.0.3...
Installed data-default-class-0.1.2.0
Building mtl-2.2.1...
Building prelude-extras-0.4.0.3...
Configuring random-1.1...
Installed mtl-2.2.1
Configuring semigroups-0.18.2...
Installed prelude-extras-0.4.0.3
Building random-1.1...
Building semigroups-0.18.2...
Configuring primitive-0.6.2.0...
Installed semigroups-0.18.2
Building primitive-0.6.2.0...
Configuring stm-2.4.4.1...
Installed random-1.1
Building stm-2.4.4.1...
Configuring syb-0.6...
Installed stm-2.4.4.1
Building syb-0.6...
Configuring text-1.2.2.1...
Installed primitive-0.6.2.0
Building text-1.2.2.1...
Configuring transformers-compat-0.5.1.4...
Installed syb-0.6
Building transformers-compat-0.5.1.4...
Installed transformers-compat-0.5.1.4
Configuring ansi-wl-pprint-0.6.7.3...
Building ansi-wl-pprint-0.6.7.3...
Installed ansi-wl-pprint-0.6.7.3
Configuring tf-random-0.5...
Building tf-random-0.5...
Configuring StateVar-1.1.0.4...
Installed tf-random-0.5
Building StateVar-1.1.0.4...
Configuring exceptions-0.8.3...
Installed StateVar-1.1.0.4
Building exceptions-0.8.3...
Configuring tagged-0.8.5...
Installed text-1.2.2.1
Installed exceptions-0.8.3
Configuring hashable-1.2.4.0...
Building tagged-0.8.5...
Building hashable-1.2.4.0...
Configuring QuickCheck-2.9.2...
Installed tagged-0.8.5
Configuring distributive-0.5.0.2...
Installed hashable-1.2.4.0
Building QuickCheck-2.9.2...
Building distributive-0.5.0.2...
Installed distributive-0.5.0.2
Configuring unordered-containers-0.2.7.1...
Building unordered-containers-0.2.7.1...
Configuring void-0.7.1...
Installed unordered-containers-0.2.7.1
Building void-0.7.1...
Installed void-0.7.1
Configuring contravariant-1.4...
Installed QuickCheck-2.9.2
Building contravariant-1.4...
Installed contravariant-1.4
Configuring comonad-5...
Building comonad-5...
Installed comonad-5
Configuring bifunctors-5.4.1...
Building bifunctors-5.4.1...
Installed bifunctors-5.4.1
Configuring semigroupoids-5.1...
Configuring profunctors-5.2...
Building profunctors-5.2...
Building semigroupoids-5.1...
Installed profunctors-5.2
Installed semigroupoids-5.1
Configuring free-4.12.4...
Building free-4.12.4...
Installed free-4.12.4
Configuring adjunctions-4.3...
Building adjunctions-4.3...
Installed adjunctions-4.3
Configuring kan-extensions-5.0.1...
Building kan-extensions-5.0.1...
Installed kan-extensions-5.0.1
Configuring pointed-5...
Building pointed-5...
Installed pointed-5
Downloading logic-TPTP-0.4.4.0...
Configuring logic-TPTP-0.4.4.0...
Building logic-TPTP-0.4.4.0...
Installed logic-TPTP-0.4.4.0