Resolving dependencies...
Configuring data-hash-0.2.0.1...
Configuring gitrev-1.2.0...
Building gitrev-1.2.0...
Building data-hash-0.2.0.1...
Installed gitrev-1.2.0
Configuring ieee754-0.7.9...
Building ieee754-0.7.9...
Configuring monadplus-1.4.2...
Installed data-hash-0.2.0.1
Building monadplus-1.4.2...
Configuring mtl-2.2.1...
Installed monadplus-1.4.2
Building mtl-2.2.1...
Configuring parallel-3.2.1.0...
Installed ieee754-0.7.9
Building parallel-3.2.1.0...
Configuring primitive-0.6.1.0...
Installed parallel-3.2.1.0
Building primitive-0.6.1.0...
Configuring murmur-hash-0.1.0.9...
Installed mtl-2.2.1
Building murmur-hash-0.1.0.9...
Configuring random-1.1...
Installed murmur-hash-0.1.0.9
Building random-1.1...
Configuring split-0.2.3.1...
Installed primitive-0.6.1.0
Building split-0.2.3.1...
Configuring strict-0.3.2...
Installed random-1.1
Configuring transformers-compat-0.5.1.4...
Installed split-0.2.3.1
Building strict-0.3.2...
Building transformers-compat-0.5.1.4...
Configuring text-1.2.2.1...
Installed strict-0.3.2
Configuring zlib-0.6.1.2...
Installed transformers-compat-0.5.1.4
Building text-1.2.2.1...
Building zlib-0.6.1.2...
Installed zlib-0.6.1.2
Configuring EdisonAPI-1.3.1...
Building EdisonAPI-1.3.1...
Configuring STMonadTrans-0.3.4...
Installed EdisonAPI-1.3.1
Building STMonadTrans-0.3.4...
Configuring geniplate-mirror-0.7.4...
Installed STMonadTrans-0.3.4
Building geniplate-mirror-0.7.4...
Configuring regex-base-0.93.2...
Installed text-1.2.2.1
Building regex-base-0.93.2...
Configuring tf-random-0.5...
Installed geniplate-mirror-0.7.4
Building tf-random-0.5...
Configuring vector-0.11.0.0...
Installed regex-base-0.93.2
Building vector-0.11.0.0...
Configuring boxes-0.1.4...
Installed tf-random-0.5
Building boxes-0.1.4...
Configuring edit-distance-0.2.2.1...
Installed boxes-0.1.4
Building edit-distance-0.2.2.1...
Installed edit-distance-0.2.2.1
Configuring equivalence-0.3.1...
Building equivalence-0.3.1...
Configuring hashable-1.2.4.0...
Installed equivalence-0.3.1
Building hashable-1.2.4.0...
Configuring parsec-3.1.11...
Installed hashable-1.2.4.0
Building parsec-3.1.11...
Configuring QuickCheck-2.9.2...
Installed parsec-3.1.11
Building QuickCheck-2.9.2...
Installed vector-0.11.0.0
Configuring unordered-containers-0.2.7.1...
Building unordered-containers-0.2.7.1...
Configuring regex-tdfa-1.2.2...
Installed unordered-containers-0.2.7.1
Building regex-tdfa-1.2.2...
Installed QuickCheck-2.9.2
Configuring hashtables-1.2.1.0...
Building hashtables-1.2.1.0...
Configuring EdisonCore-1.3.1.1...
Installed hashtables-1.2.1.0
Building EdisonCore-1.3.1.1...
Installed regex-tdfa-1.2.2
Installed EdisonCore-1.3.1.1
Downloading Agda-2.5.2...
Configuring Agda-2.5.2...
Building Agda-2.5.2...
Installed Agda-2.5.2