[all reports]
| Package |
agda2lagda-0.2021.6.1 |
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2021-06-01 07:14:43.996325766 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.1.0 |
| Flags |
none
|
Code Coverage
| expressions | 100% (0/0) |
|---|
| boolean | guards | 100% (0/0) |
|---|
| conditions | 100% (0/0) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 100% (0/0) |
|---|
| local declarations | 100% (0/0) |
|---|
| top-level declarations | 100% (0/0) |
|---|
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.1.0
Building optparse-applicative-0.16.1.0
Completed optparse-applicative-0.16.1.0
Downloading agda2lagda-0.2021.6.1
Downloaded agda2lagda-0.2021.6.1
Starting agda2lagda-0.2021.6.1
Building agda2lagda-0.2021.6.1
Completed agda2lagda-0.2021.6.1
Test log
No test log was submitted for this report.