Build #3 for MiniAgda-0.2016.12.19
| Package | MiniAgda-0.2016.12.19 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2016-12-21 00:57:23.653245 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 mtl-2.2.1... Configuring old-locale-1.0.0.7... Building old-locale-1.0.0.7... Building mtl-2.2.1... Installed old-locale-1.0.0.7 Configuring text-1.2.2.1... 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.2... Building cpphs-1.20.2... Installed cpphs-1.20.2 Configuring haskell-src-exts-1.17.1... Building haskell-src-exts-1.17.1... Installed haskell-src-exts-1.17.1 Configuring MiniAgda-0.2016.12.19... Building MiniAgda-0.2016.12.19... Installed MiniAgda-0.2016.12.19
Test log
No test log was submitted for this report.