Build #1 for Agda-2.5.1.2

[all reports]

Package Agda-2.5.1.2
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2016-11-25 10:43:46.983755 UTC
Compiler ghc-8.0.1.20161018
OS linux
Arch x86_64
Dependencies EdisonAPI-1.3, EdisonCore-1.3.1.1, QuickCheck-2.8.2, array-0.5.1.1, base-4.9.0.0, binary-0.8.3.0, boxes-0.1.4, bytestring-0.10.8.1, containers-0.5.7.1, data-hash-0.2.0.1, deepseq-1.4.2.0, directory-1.2.6.2, edit-distance-0.2.2.1, equivalence-0.3.1, filepath-1.4.1.0, geniplate-mirror-0.7.4, hashable-1.2.4.0, hashtables-1.2.1.0, haskeline-0.7.2.3, haskell-src-exts-1.17.1, monadplus-1.4.2, mtl-2.2.1, parallel-3.2.1.0, pretty-1.1.3.3, process-1.4.2.0, strict-0.3.2, template-haskell-2.11.0.0, text-1.2.2.1, time-1.6.0.1, transformers-0.5.2.0, transformers-compat-0.5.1.4, unordered-containers-0.2.7.1, xhtml-3000.2.1, zlib-0.6.1.2, base-4.9.0.0, base-4.9.0.0, binary-0.8.3.0, containers-0.5.7.1, filemanip-0.3.6.3, filepath-1.4.1.0, haskell-src-exts-1.17.1, mtl-2.2.1, base-4.9.0.0, directory-1.2.6.2, filepath-1.4.1.0, process-1.4.2.0
Flags -uhc cpphs

Build log

[view raw]

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