Build #1 for Agda-2.5.2
| Package | Agda-2.5.2 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2016-12-22 14:04:30.031948 UTC |
|---|---|
| Compiler | ghc-8.0.1.20161018 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | EdisonCore-1.3.1.1, 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, gitrev-1.2.0, hashable-1.2.4.0, hashtables-1.2.1.0, haskeline-0.7.2.3, ieee754-0.7.9, monadplus-1.4.2, mtl-2.2.1, murmur-hash-0.1.0.9, parallel-3.2.1.0, pretty-1.1.3.3, process-1.4.2.0, regex-tdfa-1.2.2, 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, directory-1.2.6.2, filepath-1.4.1.0, process-1.4.2.0 |
| Flags | -uhc -debug cpphs |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
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
Test log
No test log was submitted for this report.