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...
Configuring ieee754-0.8.0...
Installed data-hash-0.2.0.1
Building ieee754-0.8.0...
Installed base-compat-0.9.3
Configuring monadplus-1.4.2...
Building monadplus-1.4.2...
Configuring mtl-2.2.1...
Installed monadplus-1.4.2
Building mtl-2.2.1...
Configuring murmur-hash-0.1.0.9...
Installed ieee754-0.8.0
Building murmur-hash-0.1.0.9...
Configuring parallel-3.2.1.1...
Installed murmur-hash-0.1.0.9
Building parallel-3.2.1.1...
Configuring primitive-0.6.2.0...
Installed mtl-2.2.1
Building primitive-0.6.2.0...
Configuring split-0.2.3.2...
Installed parallel-3.2.1.1
Building split-0.2.3.2...
Configuring stm-2.4.4.1...
Installed split-0.2.3.2
Building stm-2.4.4.1...
Configuring random-1.1...
Installed primitive-0.6.2.0
Configuring strict-0.3.2...
Installed stm-2.4.4.1
Building random-1.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 utf8-string-1.0.1.1...
Installed random-1.1
Building utf8-string-1.0.1.1...
Configuring text-1.2.2.2...
Installed transformers-compat-0.5.1.4
Building text-1.2.2.2...
Configuring zlib-0.6.1.2...
Installed utf8-string-1.0.1.1
Building zlib-0.6.1.2...
Configuring gitrev-1.3.1...
Installed zlib-0.6.1.2
Building gitrev-1.3.1...
Installed gitrev-1.3.1
Configuring EdisonAPI-1.3.1...
Building EdisonAPI-1.3.1...
Configuring STMonadTrans-0.4.3...
Installed EdisonAPI-1.3.1
Building STMonadTrans-0.4.3...
Configuring geniplate-mirror-0.7.5...
Installed text-1.2.2.2
Building geniplate-mirror-0.7.5...
Configuring regex-base-0.93.2...
Installed STMonadTrans-0.4.3
Building regex-base-0.93.2...
Configuring boxes-0.1.4...
Installed geniplate-mirror-0.7.5
Building boxes-0.1.4...
Configuring vector-0.12.0.1...
Installed regex-base-0.93.2
Building vector-0.12.0.1...
Configuring async-2.1.1.1...
Installed boxes-0.1.4
Building async-2.1.1.1...
Configuring edit-distance-0.2.2.1...
Installed async-2.1.1.1
Building edit-distance-0.2.2.1...
Configuring tf-random-0.5...
Installed edit-distance-0.2.2.1
Building tf-random-0.5...
Installed tf-random-0.5
Configuring blaze-builder-0.4.0.2...
Building blaze-builder-0.4.0.2...
Configuring hashable-1.2.6.1...
Installed blaze-builder-0.4.0.2
Building hashable-1.2.6.1...
Configuring equivalence-0.3.2...
Installed hashable-1.2.6.1
Building equivalence-0.3.2...
Configuring parsec-3.1.11...
Installed equivalence-0.3.2
Building parsec-3.1.11...
Configuring QuickCheck-2.10.0.1...
Installed vector-0.12.0.1
Building QuickCheck-2.10.0.1...
Installed parsec-3.1.11
Configuring blaze-markup-0.8.0.0...
Building blaze-markup-0.8.0.0...
Configuring unordered-containers-0.2.8.0...
Installed blaze-markup-0.8.0.0
Building unordered-containers-0.2.8.0...
Installed unordered-containers-0.2.8.0
Configuring hashtables-1.2.1.1...
Building hashtables-1.2.1.1...
Configuring network-uri-2.6.1.0...
Installed QuickCheck-2.10.0.1
Building network-uri-2.6.1.0...
Installed network-uri-2.6.1.0
Configuring regex-tdfa-1.2.2...
Installed hashtables-1.2.1.1
Configuring blaze-html-0.9.0.1...
Building regex-tdfa-1.2.2...
Building blaze-html-0.9.0.1...
Configuring EdisonCore-1.3.1.1...
Installed regex-tdfa-1.2.2
Building EdisonCore-1.3.1.1...
Configuring uri-encode-1.5.0.5...
Installed blaze-html-0.9.0.1
Building uri-encode-1.5.0.5...
Installed uri-encode-1.5.0.5
Installed EdisonCore-1.3.1.1
Downloading Agda-2.5.3...
Configuring Agda-2.5.3...
Failed to install Agda-2.5.3
Build log ( /home/builder/.cabal/logs/Agda-2.5.3.log ):
cabal: Entering directory '/tmp/cabal-tmp-11890/Agda-2.5.3'
[1 of 1] Compiling Main             ( /tmp/cabal-tmp-11890/Agda-2.5.3/dist/setup/setup.hs, /tmp/cabal-tmp-11890/Agda-2.5.3/dist/setup/Main.o )
Linking /tmp/cabal-tmp-11890/Agda-2.5.3/dist/setup/setup ...
Configuring Agda-2.5.3...
setup: The program 'cpphs' version >=1.20.8 is required but the version found
at /home/builder/.cabal/bin/cpphs is version 1.20.2
cabal: Leaving directory '/tmp/cabal-tmp-11890/Agda-2.5.3'
cabal: Error: some packages failed to install:
Agda-2.5.3 failed during the configure step. The exception was:
ExitFailure 1