Build #2 for MiniAgda-0.2017.2.18
Package | MiniAgda-0.2017.2.18 |
---|
Install | InstallOk |
---|---|
Docs | Ok |
Tests | NotTried |
Time submitted | 2017-02-18 20:53:48.315677 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... 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.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.