Resolving dependencies...
Configuring data-hash-0.2.0.1...
Downloading monadplus-1.4.2...
Configuring mtl-2.2.1...
Building data-hash-0.2.0.1...
Building mtl-2.2.1...
Installed data-hash-0.2.0.1
Configuring old-locale-1.0.0.7...
Building old-locale-1.0.0.7...
Configuring parallel-3.2.1.0...
Installed mtl-2.2.1
Downloading EdisonAPI-1.3...
Downloading geniplate-mirror-0.7.4...
Building parallel-3.2.1.0...
Configuring random-1.1...
Installed old-locale-1.0.0.7
Building random-1.1...
Configuring split-0.2.3.1...
Installed parallel-3.2.1.0
Building split-0.2.3.1...
Configuring primitive-0.6.1.0...
Installed random-1.1
Building primitive-0.6.1.0...
Configuring strict-0.3.2...
Installed split-0.2.3.1
Building strict-0.3.2...
Configuring transformers-compat-0.5.1.4...
Installed strict-0.3.2
Building transformers-compat-0.5.1.4...
Configuring text-1.2.2.1...
Installed primitive-0.6.1.0
Configuring unix-compat-0.4.2.0...
Installed transformers-compat-0.5.1.4
Building text-1.2.2.1...
Building unix-compat-0.4.2.0...
Configuring monadplus-1.4.2...
Installed unix-compat-0.4.2.0
Building monadplus-1.4.2...
Configuring zlib-0.6.1.2...
Installed monadplus-1.4.2
Building zlib-0.6.1.2...
Installed zlib-0.6.1.2
Configuring STMonadTrans-0.3.4...
Building STMonadTrans-0.3.4...
Configuring geniplate-mirror-0.7.4...
Installed STMonadTrans-0.3.4
Downloading equivalence-0.3.1...
Building geniplate-mirror-0.7.4...
Configuring EdisonAPI-1.3...
Installed text-1.2.2.1
Building EdisonAPI-1.3...
Configuring old-time-1.1.0.3...
Installed geniplate-mirror-0.7.4
Building old-time-1.1.0.3...
Configuring edit-distance-0.2.2.1...
Installed EdisonAPI-1.3
Building edit-distance-0.2.2.1...
Configuring tf-random-0.5...
Installed old-time-1.1.0.3
Building tf-random-0.5...
Configuring boxes-0.1.4...
Installed edit-distance-0.2.2.1
Building boxes-0.1.4...
Configuring filemanip-0.3.6.3...
Installed boxes-0.1.4
Configuring vector-0.11.0.0...
Installed tf-random-0.5
Building filemanip-0.3.6.3...
Building vector-0.11.0.0...
Installed filemanip-0.3.6.3
Configuring hashable-1.2.4.0...
Building hashable-1.2.4.0...
Configuring equivalence-0.3.1...
Installed hashable-1.2.4.0
Building equivalence-0.3.1...
Configuring polyparse-1.12...
Installed equivalence-0.3.1
Building polyparse-1.12...
Configuring QuickCheck-2.8.2...
Installed polyparse-1.12
Building QuickCheck-2.8.2...
Installed vector-0.11.0.0
Configuring unordered-containers-0.2.7.1...
Building unordered-containers-0.2.7.1...
Installed unordered-containers-0.2.7.1
Configuring cpphs-1.20.2...
Building cpphs-1.20.2...
Configuring hashtables-1.2.1.0...
Installed QuickCheck-2.8.2
Downloading EdisonCore-1.3.1.1...
Building hashtables-1.2.1.0...
Installed hashtables-1.2.1.0
Configuring EdisonCore-1.3.1.1...
Installed cpphs-1.20.2
Building EdisonCore-1.3.1.1...
Configuring haskell-src-exts-1.17.1...
Building haskell-src-exts-1.17.1...
Installed EdisonCore-1.3.1.1
Installed haskell-src-exts-1.17.1
Downloading Agda-2.5.1.2...
Configuring Agda-2.5.1.2...
Building Agda-2.5.1.2...
Installed Agda-2.5.1.2