Build #1 for MiniAgda-0.2022.3.11
| Package | MiniAgda-0.2022.3.11 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2022-03-11 17:02:35.487273452 UTC |
|---|---|
| Compiler | ghc-8.10.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | array-0.5.4.0, base-4.14.1.0, containers-0.6.2.1, haskell-src-exts-1.21.1, mtl-2.2.2, pretty-1.1.3.6, transformers-0.5.6.2 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Downloading haskell-src-exts-1.21.1 Downloaded haskell-src-exts-1.21.1 Starting haskell-src-exts-1.21.1 Building haskell-src-exts-1.21.1 Completed haskell-src-exts-1.21.1 Downloading MiniAgda-0.2022.3.11 Downloaded MiniAgda-0.2022.3.11 Starting MiniAgda-0.2022.3.11 Building MiniAgda-0.2022.3.11 Completed MiniAgda-0.2022.3.11
Test log
No test log was submitted for this report.