[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.