Resolving dependencies...
Configuring ansi-terminal-0.6.3.1...
Configuring data-default-class-0.1.2.0...
Building ansi-terminal-0.6.3.1...
Building data-default-class-0.1.2.0...
Installed data-default-class-0.1.2.0
Configuring data-fix-0.0.4...
Building data-fix-0.0.4...
Configuring dlist-0.8.0.3...
Installed ansi-terminal-0.6.3.1
Building dlist-0.8.0.3...
Configuring mtl-2.2.1...
Installed data-fix-0.0.4
Building mtl-2.2.1...
Configuring integer-logarithms-1.0.2...
Installed dlist-0.8.0.3
Building integer-logarithms-1.0.2...
Configuring old-locale-1.0.0.7...
Installed integer-logarithms-1.0.2
Configuring pretty-ncols-0.1...
Building old-locale-1.0.0.7...
Installed mtl-2.2.1
Building pretty-ncols-0.1...
Configuring random-1.1...
Installed old-locale-1.0.0.7
Configuring stm-2.4.4.1...
Installed pretty-ncols-0.1
Building random-1.1...
Building stm-2.4.4.1...
Configuring primitive-0.6.2.0...
Installed stm-2.4.4.1
Configuring transformers-compat-0.5.1.4...
Installed random-1.1
Building primitive-0.6.2.0...
Building transformers-compat-0.5.1.4...
Configuring data-default-instances-containers-0.0.1...
Installed transformers-compat-0.5.1.4
Building data-default-instances-containers-0.0.1...
Configuring text-1.2.2.2...
Installed data-default-instances-containers-0.0.1
Building text-1.2.2.2...
Installed primitive-0.6.2.0
Configuring data-default-instances-dlist-0.0.1...
Building data-default-instances-dlist-0.0.1...
Configuring data-default-instances-old-locale-0.0.1...
Installed data-default-instances-dlist-0.0.1
Building data-default-instances-old-locale-0.0.1...
Configuring copilot-core-2.2.1...
Installed data-default-instances-old-locale-0.0.1
Building copilot-core-2.2.1...
Configuring tagged-0.8.5...
Installed copilot-core-2.2.1
Building tagged-0.8.5...
Configuring exceptions-0.8.3...
Installed text-1.2.2.2
Configuring vector-0.12.0.1...
Installed tagged-0.8.5
Building exceptions-0.8.3...
Building vector-0.12.0.1...
Installed exceptions-0.8.3
Configuring data-default-0.7.1.1...
Building data-default-0.7.1.1...
Configuring hashable-1.2.6.1...
Installed data-default-0.7.1.1
Building hashable-1.2.6.1...
Configuring blaze-builder-0.4.0.2...
Installed hashable-1.2.6.1
Building blaze-builder-0.4.0.2...
Configuring parsec-3.1.11...
Installed blaze-builder-0.4.0.2
Building parsec-3.1.11...
Configuring xml-1.3.14...
Installed parsec-3.1.11
Building xml-1.3.14...
Configuring bimap-0.3.3...
Installed xml-1.3.14
Building bimap-0.3.3...
Installed vector-0.12.0.1
Configuring constraints-0.9.1...
Building constraints-0.9.1...
Configuring scientific-0.3.5.1...
Installed bimap-0.3.3
Building scientific-0.3.5.1...
Configuring blaze-textual-0.2.1.0...
Installed scientific-0.3.5.1
Installed constraints-0.9.1
Configuring attoparsec-0.13.1.0...
Building blaze-textual-0.2.1.0...
Building attoparsec-0.13.1.0...
Installed blaze-textual-0.2.1.0
Installed attoparsec-0.13.1.0
Configuring atto-lisp-0.2.2.2...
Building atto-lisp-0.2.2.2...
Installed atto-lisp-0.2.2.2
Configuring smtlib2-0.3.1...
Building smtlib2-0.3.1...
Installed smtlib2-0.3.1
Configuring copilot-theorem-2.2.1...
Building copilot-theorem-2.2.1...
Installed copilot-theorem-2.2.1