Build #1 for agda-snippets-2.5.2
| Package | agda-snippets-2.5.2 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2017-06-04 11:40:44.290433412 UTC |
|---|---|
| Compiler | ghc-8.0.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | Agda-2.5.2, base-4.9.1.0, containers-0.5.7.1, mtl-2.2.1, network-uri-2.6.1.0, xhtml-3000.2.1, Agda-2.5.2, base-4.9.1.0, network-uri-2.6.1.0, transformers-0.5.2.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
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... Installed data-hash-0.2.0.1 Configuring ieee754-0.8.0... Configuring monadplus-1.4.2... Installed base-compat-0.9.3 Building ieee754-0.8.0... Building monadplus-1.4.2... Configuring murmur-hash-0.1.0.9... Installed monadplus-1.4.2 Building murmur-hash-0.1.0.9... Configuring mtl-2.2.1... Installed ieee754-0.8.0 Configuring parallel-3.2.1.1... Installed murmur-hash-0.1.0.9 Building mtl-2.2.1... Building parallel-3.2.1.1... Configuring primitive-0.6.2.0... Installed parallel-3.2.1.1 Building primitive-0.6.2.0... Configuring strict-0.3.2... Installed mtl-2.2.1 Building strict-0.3.2... Configuring random-1.1... Installed strict-0.3.2 Building random-1.1... Configuring split-0.2.3.2... Installed random-1.1 Configuring transformers-compat-0.5.1.4... Installed primitive-0.6.2.0 Building split-0.2.3.2... Building transformers-compat-0.5.1.4... Configuring text-1.2.2.2... Installed split-0.2.3.2 Configuring zlib-0.6.1.2... Installed transformers-compat-0.5.1.4 Building text-1.2.2.2... Building zlib-0.6.1.2... Installed zlib-0.6.1.2 Configuring EdisonAPI-1.3.1... Building EdisonAPI-1.3.1... Configuring gitrev-1.3.1... Installed EdisonAPI-1.3.1 Building gitrev-1.3.1... Configuring geniplate-mirror-0.7.5... Installed gitrev-1.3.1 Building geniplate-mirror-0.7.5... Configuring STMonadTrans-0.4.3... Installed text-1.2.2.2 Building STMonadTrans-0.4.3... Configuring edit-distance-0.2.2.1... Installed geniplate-mirror-0.7.5 Building edit-distance-0.2.2.1... Configuring tf-random-0.5... Installed STMonadTrans-0.4.3 Configuring regex-base-0.93.2... Installed edit-distance-0.2.2.1 Building tf-random-0.5... Building regex-base-0.93.2... Configuring boxes-0.1.4... Installed regex-base-0.93.2 Configuring vector-0.12.0.1... Installed tf-random-0.5 Building boxes-0.1.4... Building vector-0.12.0.1... Installed boxes-0.1.4 Configuring parsec-3.1.11... Building parsec-3.1.11... Configuring hashable-1.2.6.0... Installed parsec-3.1.11 Building hashable-1.2.6.0... Configuring equivalence-0.3.2... Installed hashable-1.2.6.0 Building equivalence-0.3.2... Configuring QuickCheck-2.9.2... Installed equivalence-0.3.2 Building QuickCheck-2.9.2... Installed vector-0.12.0.1 Configuring network-uri-2.6.1.0... Building network-uri-2.6.1.0... Configuring regex-tdfa-1.2.2... Installed network-uri-2.6.1.0 Building regex-tdfa-1.2.2... Installed QuickCheck-2.9.2 Configuring unordered-containers-0.2.8.0... Building unordered-containers-0.2.8.0... Configuring hashtables-1.2.1.1... Installed unordered-containers-0.2.8.0 Building hashtables-1.2.1.1... Installed regex-tdfa-1.2.2 Configuring EdisonCore-1.3.1.1... Building EdisonCore-1.3.1.1... Installed hashtables-1.2.1.1 Installed EdisonCore-1.3.1.1 Configuring Agda-2.5.2... Building Agda-2.5.2... Warning: /tmp/pkgConf-Agda-2.53524062191600028624.2: Unrecognized field dynamic-library-dirs on line 195 Installed Agda-2.5.2 Configuring agda-snippets-2.5.2... Building agda-snippets-2.5.2... Installed agda-snippets-2.5.2
Test log
No test log was submitted for this report.