Build reports for Agda-2.4.2.3
Status: Built successfully.
| No. | Outcome | Compiler | OS | Arch | Flags | Details | ||
|---|---|---|---|---|---|---|---|---|
| Install | Docs | Tests | ||||||
| #1 | ConfigureFailed | NotTried | NotTried | ghc-7.8.3 | linux | x86_64 | cpphs | More details |
| #2 | ConfigureFailed | NotTried | NotTried | ghc-7.10.2 | linux | x86_64 | cpphs | More details |
| #3 | DependencyFailed unordered-containers-0.2.5.1 | NotTried | NotTried | ghc-7.10.2 | linux | x86_64 | cpphs | More details |
| #4 | DependencyFailed haskell-src-exts-1.16.0.1 | NotTried | NotTried | ghc-7.10.2 | linux | x86_64 | cpphs | More details |
| #5 | ConfigureFailed | NotTried | NotTried | ghc-7.10.2 | linux | x86_64 | cpphs | More details |