Build #3 for MiniAgda-0.2017.2.18
| Package | MiniAgda-0.2017.2.18 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2017-02-18 21:02:31.150068 UTC |
|---|---|
| Compiler | ghc-8.0.1.20161018 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | array-0.5.1.1, base-4.9.0.0, containers-0.5.7.1, haskell-src-exts-1.17.1, mtl-2.2.1, pretty-1.1.3.3 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Configuring old-locale-1.0.0.7... Configuring mtl-2.2.1... Building old-locale-1.0.0.7... Building mtl-2.2.1... Configuring text-1.2.2.1... Installed old-locale-1.0.0.7 Building text-1.2.2.1... Configuring old-time-1.1.0.3... Installed mtl-2.2.1 Building old-time-1.1.0.3... Installed old-time-1.1.0.3 Installed text-1.2.2.1 Configuring polyparse-1.12... Building polyparse-1.12... Installed polyparse-1.12 Configuring cpphs-1.20.3... Building cpphs-1.20.3... Installed cpphs-1.20.3 Configuring haskell-src-exts-1.17.1... Building haskell-src-exts-1.17.1... Installed haskell-src-exts-1.17.1 Configuring MiniAgda-0.2017.2.18... Building MiniAgda-0.2017.2.18... Installed MiniAgda-0.2017.2.18
Test log
No test log was submitted for this report.