Resolving dependencies...
Configuring STMonadTrans-0.4.3...
Configuring EdisonAPI-1.3.1...
Building EdisonAPI-1.3.1...
Building STMonadTrans-0.4.3...
Installed STMonadTrans-0.4.3
Configuring base-compat-0.10.4...
Building base-compat-0.10.4...
Installed EdisonAPI-1.3.1
Configuring blaze-builder-0.4.1.0...
Building blaze-builder-0.4.1.0...
Installed blaze-builder-0.4.1.0
Configuring data-hash-0.2.0.1...
Building data-hash-0.2.0.1...
Installed base-compat-0.10.4
Configuring geniplate-mirror-0.7.6...
Installed data-hash-0.2.0.1
Configuring hashable-1.2.7.0...
Building geniplate-mirror-0.7.6...
Building hashable-1.2.7.0...
Installed hashable-1.2.7.0
Configuring ieee754-0.8.0...
Building ieee754-0.8.0...
Installed geniplate-mirror-0.7.6
Configuring murmur-hash-0.1.0.9...
Building murmur-hash-0.1.0.9...
Installed murmur-hash-0.1.0.9
Configuring network-uri-2.6.1.0...
Building network-uri-2.6.1.0...
Installed ieee754-0.8.0
Configuring primitive-0.6.4.0...
Building primitive-0.6.4.0...
Installed network-uri-2.6.1.0
Configuring random-1.1...
Building random-1.1...
Installed random-1.1
Configuring regex-base-0.93.2...
Building regex-base-0.93.2...
Installed regex-base-0.93.2
Configuring split-0.2.3.3...
Building split-0.2.3.3...
Installed split-0.2.3.3
Configuring strict-0.3.2...
Installed primitive-0.6.4.0
Configuring transformers-compat-0.6.2...
Building strict-0.3.2...
Building transformers-compat-0.6.2...
Installed strict-0.3.2
Configuring unix-compat-0.5.0.1...
Building unix-compat-0.5.0.1...
Installed transformers-compat-0.6.2
Configuring utf8-string-1.0.1.1...
Building utf8-string-1.0.1.1...
Installed unix-compat-0.5.0.1
Configuring zlib-0.6.2...
Building zlib-0.6.2...
Installed utf8-string-1.0.1.1
Configuring blaze-markup-0.8.2.1...
Building blaze-markup-0.8.2.1...
Installed zlib-0.6.2
Configuring gitrev-1.3.1...
Building gitrev-1.3.1...
Installed blaze-markup-0.8.2.1
Configuring unordered-containers-0.2.9.0...
Building unordered-containers-0.2.9.0...
Installed gitrev-1.3.1
Configuring async-2.2.1...
Building async-2.2.1...
Installed async-2.2.1
Configuring edit-distance-0.2.2.1...
Building edit-distance-0.2.2.1...
Installed edit-distance-0.2.2.1
Configuring regex-tdfa-1.2.3.1...
Building regex-tdfa-1.2.3.1...
Installed unordered-containers-0.2.9.0
Configuring boxes-0.1.5...
Building boxes-0.1.5...
Installed boxes-0.1.5
Configuring vector-0.12.0.1...
Building vector-0.12.0.1...
Installed regex-tdfa-1.2.3.1
Configuring tf-random-0.5...
Building tf-random-0.5...
Installed tf-random-0.5
Configuring equivalence-0.3.2...
Building equivalence-0.3.2...
Installed equivalence-0.3.2
Configuring filemanip-0.3.6.3...
Building filemanip-0.3.6.3...
Installed filemanip-0.3.6.3
Configuring uri-encode-1.5.0.5...
Building uri-encode-1.5.0.5...
Installed uri-encode-1.5.0.5
Configuring blaze-html-0.9.1.1...
Building blaze-html-0.9.1.1...
Installed vector-0.12.0.1
Configuring QuickCheck-2.11.3...
Building QuickCheck-2.11.3...
Installed blaze-html-0.9.1.1
Configuring hashtables-1.2.3.1...
Building hashtables-1.2.3.1...
Installed QuickCheck-2.11.3
Configuring EdisonCore-1.3.2.1...
Building EdisonCore-1.3.2.1...
Installed hashtables-1.2.3.1
Installed EdisonCore-1.3.2.1
Downloading Agda-2.5.4.1...
Configuring Agda-2.5.4.1...
Failed to install Agda-2.5.4.1
Build log ( /home/builder/.cabal/logs/ghc-8.4.3/Agda-2.5.4.1-8za3iTrL6F58UgENO09Tqf.log ):
cabal: Entering directory '/tmp/cabal-tmp-26891/Agda-2.5.4.1'
[1 of 1] Compiling Main             ( /tmp/cabal-tmp-26891/Agda-2.5.4.1/dist/setup/setup.hs, /tmp/cabal-tmp-26891/Agda-2.5.4.1/dist/setup/Main.o )
Linking /tmp/cabal-tmp-26891/Agda-2.5.4.1/dist/setup/setup ...
Configuring Agda-2.5.4.1...
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-26891/Agda-2.5.4.1'
cabal: Error: some packages failed to install:
Agda-2.5.4.1-8za3iTrL6F58UgENO09Tqf failed during the configure step. The
exception was:
ExitFailure 1