Resolving dependencies...
Configuring data-hash-0.2.0.1...
Configuring base-compat-0.9.3...
Building data-hash-0.2.0.1...
Building base-compat-0.9.3...
Installed data-hash-0.2.0.1
Configuring ieee754-0.8.0...
Configuring monadplus-1.4.2...
Installed base-compat-0.9.3
Building ieee754-0.8.0...
Building monadplus-1.4.2...
Configuring murmur-hash-0.1.0.9...
Installed monadplus-1.4.2
Building murmur-hash-0.1.0.9...
Configuring mtl-2.2.1...
Installed ieee754-0.8.0
Configuring parallel-3.2.1.1...
Installed murmur-hash-0.1.0.9
Building mtl-2.2.1...
Building parallel-3.2.1.1...
Configuring primitive-0.6.2.0...
Installed parallel-3.2.1.1
Building primitive-0.6.2.0...
Configuring strict-0.3.2...
Installed mtl-2.2.1
Building strict-0.3.2...
Configuring random-1.1...
Installed strict-0.3.2
Building random-1.1...
Configuring split-0.2.3.2...
Installed random-1.1
Configuring transformers-compat-0.5.1.4...
Installed primitive-0.6.2.0
Building split-0.2.3.2...
Building transformers-compat-0.5.1.4...
Configuring text-1.2.2.2...
Installed split-0.2.3.2
Configuring zlib-0.6.1.2...
Installed transformers-compat-0.5.1.4
Building text-1.2.2.2...
Building zlib-0.6.1.2...
Installed zlib-0.6.1.2
Configuring EdisonAPI-1.3.1...
Building EdisonAPI-1.3.1...
Configuring gitrev-1.3.1...
Installed EdisonAPI-1.3.1
Building gitrev-1.3.1...
Configuring geniplate-mirror-0.7.5...
Installed gitrev-1.3.1
Building geniplate-mirror-0.7.5...
Configuring STMonadTrans-0.4.3...
Installed text-1.2.2.2
Building STMonadTrans-0.4.3...
Configuring edit-distance-0.2.2.1...
Installed geniplate-mirror-0.7.5
Building edit-distance-0.2.2.1...
Configuring tf-random-0.5...
Installed STMonadTrans-0.4.3
Configuring regex-base-0.93.2...
Installed edit-distance-0.2.2.1
Building tf-random-0.5...
Building regex-base-0.93.2...
Configuring boxes-0.1.4...
Installed regex-base-0.93.2
Configuring vector-0.12.0.1...
Installed tf-random-0.5
Building boxes-0.1.4...
Building vector-0.12.0.1...
Installed boxes-0.1.4
Configuring parsec-3.1.11...
Building parsec-3.1.11...
Configuring hashable-1.2.6.0...
Installed parsec-3.1.11
Building hashable-1.2.6.0...
Configuring equivalence-0.3.2...
Installed hashable-1.2.6.0
Building equivalence-0.3.2...
Configuring QuickCheck-2.9.2...
Installed equivalence-0.3.2
Building QuickCheck-2.9.2...
Installed vector-0.12.0.1
Configuring network-uri-2.6.1.0...
Building network-uri-2.6.1.0...
Configuring regex-tdfa-1.2.2...
Installed network-uri-2.6.1.0
Building regex-tdfa-1.2.2...
Installed QuickCheck-2.9.2
Configuring unordered-containers-0.2.8.0...
Building unordered-containers-0.2.8.0...
Configuring hashtables-1.2.1.1...
Installed unordered-containers-0.2.8.0
Building hashtables-1.2.1.1...
Installed regex-tdfa-1.2.2
Configuring EdisonCore-1.3.1.1...
Building EdisonCore-1.3.1.1...
Installed hashtables-1.2.1.1
Installed EdisonCore-1.3.1.1
Configuring Agda-2.5.2...
Building Agda-2.5.2...
Warning: /tmp/pkgConf-Agda-2.53524062191600028624.2: Unrecognized field
dynamic-library-dirs on line 195
Installed Agda-2.5.2
Configuring agda-snippets-2.5.2...
Building agda-snippets-2.5.2...
Installed agda-snippets-2.5.2