Resolving dependencies...
Configuring ansi-terminal-0.6.2.3...
Configuring dependent-sum-0.4...
Building ansi-terminal-0.6.2.3...
Building dependent-sum-0.4...
Installed dependent-sum-0.4
Configuring integer-logarithms-1...
Building integer-logarithms-1...
Configuring old-locale-1.0.0.7...
Installed ansi-terminal-0.6.2.3
Building old-locale-1.0.0.7...
Configuring primitive-0.6.1.0...
Installed integer-logarithms-1
Building primitive-0.6.1.0...
Configuring mtl-2.2.1...
Installed old-locale-1.0.0.7
Building mtl-2.2.1...
Configuring transformers-compat-0.5.1.4...
Installed primitive-0.6.1.0
Configuring text-1.2.2.1...
Installed mtl-2.2.1
Building transformers-compat-0.5.1.4...
Building text-1.2.2.1...
Configuring dependent-map-0.2.4.0...
Installed transformers-compat-0.5.1.4
Building dependent-map-0.2.4.0...
Installed dependent-map-0.2.4.0
Configuring vector-0.11.0.0...
Building vector-0.11.0.0...
Installed text-1.2.2.1
Configuring blaze-builder-0.4.0.2...
Building blaze-builder-0.4.0.2...
Configuring hashable-1.2.5.0...
Installed blaze-builder-0.4.0.2
Building hashable-1.2.5.0...
Installed hashable-1.2.5.0
Configuring constraints-0.8...
Building constraints-0.8...
Installed vector-0.11.0.0
Configuring blaze-textual-0.2.1.0...
Installed constraints-0.8
Configuring scientific-0.3.4.10...
Building blaze-textual-0.2.1.0...
Building scientific-0.3.4.10...
Configuring smtlib2-1.0...
Installed blaze-textual-0.2.1.0
Building smtlib2-1.0...
Installed scientific-0.3.4.10
Configuring attoparsec-0.13.1.0...
Building attoparsec-0.13.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
Installed smtlib2-1.0
Configuring smtlib2-pipe-1.0...
Building smtlib2-pipe-1.0...
Installed smtlib2-pipe-1.0
Downloading smtlib2-debug-1.0...
Configuring smtlib2-debug-1.0...
Building smtlib2-debug-1.0...
Installed smtlib2-debug-1.0