Build #2 for agda2lagda-0.2020.11.1
| Package | agda2lagda-0.2020.11.1 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2020-11-01 00:50:15.088176033 UTC |
|---|---|
| Compiler | ghc-8.10.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.14.1.0, directory-1.3.6.0, filepath-1.4.2.1, optparse-applicative-0.16.0.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Starting colour-2.3.5 Starting transformers-compat-0.6.6 Building colour-2.3.5 Building transformers-compat-0.6.6 Completed transformers-compat-0.6.6 Completed colour-2.3.5 Starting ansi-terminal-0.11 Building ansi-terminal-0.11 Completed ansi-terminal-0.11 Starting ansi-wl-pprint-0.6.9 Building ansi-wl-pprint-0.6.9 Completed ansi-wl-pprint-0.6.9 Starting optparse-applicative-0.16.0.0 Building optparse-applicative-0.16.0.0 Completed optparse-applicative-0.16.0.0 Starting agda2lagda-0.2020.11.1 Building agda2lagda-0.2020.11.1 Completed agda2lagda-0.2020.11.1
Test log
No test log was submitted for this report.