Build #1 for agda2lagda-0.2023.6.9
| Package | agda2lagda-0.2023.6.9 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2023-06-09 16:55:09.109098119 UTC |
|---|---|
| Compiler | ghc-9.2.4 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.16.3.0, directory-1.3.6.2, filepath-1.4.2.2, optparse-applicative-0.18.1.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Starting colour-2.3.6 Starting prettyprinter-1.7.1 Starting transformers-compat-0.7.2 Building colour-2.3.6 Building prettyprinter-1.7.1 Building transformers-compat-0.7.2 Completed transformers-compat-0.7.2 Completed colour-2.3.6 Starting ansi-terminal-types-0.11.5 Building ansi-terminal-types-0.11.5 Completed prettyprinter-1.7.1 Completed ansi-terminal-types-0.11.5 Starting ansi-terminal-1.0 Building ansi-terminal-1.0 Completed ansi-terminal-1.0 Starting prettyprinter-ansi-terminal-1.1.3 Building prettyprinter-ansi-terminal-1.1.3 Completed prettyprinter-ansi-terminal-1.1.3 Starting optparse-applicative-0.18.1.0 Building optparse-applicative-0.18.1.0 Completed optparse-applicative-0.18.1.0 Downloading agda2lagda-0.2023.6.9 Downloaded agda2lagda-0.2023.6.9 Starting agda2lagda-0.2023.6.9 Building agda2lagda-0.2023.6.9 Completed agda2lagda-0.2023.6.9
Test log
[view raw]
Resolving dependencies...
Error:
Internal libraries only supported with per-component builds.
Per-component builds were disabled because program coverage is enabled
In the package 'attoparsec-0.14.4'