Build #1 for Agda-2.5.1.2
| 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 |
Code Coverage
No Code Coverage was submitted for this report.
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
Test log
No test log was submitted for this report.