Resolving dependencies...
Configuring base-orphans-0.6...
Configuring boxes-0.1.4...
Building base-orphans-0.6...
Building boxes-0.1.4...
Installed base-orphans-0.6
Configuring cabal-doctest-1.0.4...
Installed boxes-0.1.4
Configuring cereal-0.5.4.0...
Building cabal-doctest-1.0.4...
Building cereal-0.5.4.0...
Installed cabal-doctest-1.0.4
Configuring cmdargs-0.10.18...
Building cmdargs-0.10.18...
Installed cereal-0.5.4.0
Configuring colour-2.3.4...
Building colour-2.3.4...
Installed colour-2.3.4
Configuring data-default-class-0.1.2.0...
Building data-default-class-0.1.2.0...
Installed data-default-class-0.1.2.0
Configuring dlist-0.8.0.3...
Building dlist-0.8.0.3...
Installed dlist-0.8.0.3
Configuring dotgen-0.4.2...
Building dotgen-0.4.2...
Installed cmdargs-0.10.18
Configuring double-conversion-2.0.2.0...
Installed dotgen-0.4.2
Configuring extensible-exceptions-0.1.1.4...
Building double-conversion-2.0.2.0...
Building extensible-exceptions-0.1.1.4...
Installed extensible-exceptions-0.1.1.4
Configuring intern-0.9.1.4...
Building intern-0.9.1.4...
Installed double-conversion-2.0.2.0
Configuring located-base-0.1.1.1...
Installed intern-0.9.1.4
Configuring old-locale-1.0.0.7...
Building located-base-0.1.1.1...
Building old-locale-1.0.0.7...
Installed located-base-0.1.1.1
Configuring semigroups-0.18.3...
Installed old-locale-1.0.0.7
Configuring terminal-size-0.3.2.1...
Building semigroups-0.18.3...
Building terminal-size-0.3.2.1...
Installed semigroups-0.18.3
Configuring th-abstraction-0.2.6.0...
Building th-abstraction-0.2.6.0...
Installed terminal-size-0.3.2.1
Configuring transformers-compat-0.5.1.4...
Building transformers-compat-0.5.1.4...
Installed transformers-compat-0.5.1.4
Configuring unix-compat-0.5.0.1...
Building unix-compat-0.5.0.1...
Installed th-abstraction-0.2.6.0
Configuring void-0.7.2...
Building void-0.7.2...
Installed unix-compat-0.5.0.1
Configuring ansi-terminal-0.8...
Installed void-0.7.2
Configuring data-default-instances-containers-0.0.1...
Building ansi-terminal-0.8...
Building data-default-instances-containers-0.0.1...
Installed data-default-instances-containers-0.0.1
Configuring data-default-instances-dlist-0.0.1...
Building data-default-instances-dlist-0.0.1...
Installed ansi-terminal-0.8
Configuring fgl-visualize-0.1.0.1...
Installed data-default-instances-dlist-0.0.1
Configuring parallel-io-0.3.3...
Building fgl-visualize-0.1.0.1...
Building parallel-io-0.3.3...
Installed fgl-visualize-0.1.0.1
Configuring text-format-0.3.1.1...
Building text-format-0.3.1.1...
Installed parallel-io-0.3.3
Configuring data-default-instances-old-locale-0.0.1...
Building data-default-instances-old-locale-0.0.1...
Installed data-default-instances-old-locale-0.0.1
Configuring tagged-0.8.5...
Building tagged-0.8.5...
Installed text-format-0.3.1.1
Configuring exceptions-0.8.3...
Building exceptions-0.8.3...
Installed tagged-0.8.5
Configuring filemanip-0.3.6.3...
Building filemanip-0.3.6.3...
Installed exceptions-0.8.3
Configuring contravariant-1.4...
Building contravariant-1.4...
Installed filemanip-0.3.6.3
Configuring data-default-0.7.1.1...
Building data-default-0.7.1.1...
Installed contravariant-1.4
Configuring distributive-0.5.3...
Installed data-default-0.7.1.1
Configuring concurrent-output-1.10.1...
Building concurrent-output-1.10.1...
Building distributive-0.5.3...
Installed distributive-0.5.3
Configuring comonad-5.0.2...
Building comonad-5.0.2...
Installed concurrent-output-1.10.1
Configuring ascii-progress-0.3.3.0...
Building ascii-progress-0.3.3.0...
Installed comonad-5.0.2
Configuring bifunctors-5.5...
Building bifunctors-5.5...
Installed ascii-progress-0.3.3.0
Installed bifunctors-5.5
Downloading liquid-fixpoint-0.7.0.6...
Configuring liquid-fixpoint-0.7.0.6...
Building liquid-fixpoint-0.7.0.6...
Installed liquid-fixpoint-0.7.0.6