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