Build reports for Agda-2.4.2.4
Status: Built successfully.
No. | Outcome | Compiler | OS | Arch | Flags | Details | ||
---|---|---|---|---|---|---|---|---|
Install | Docs | Tests | ||||||
#1 | ConfigureFailed | NotTried | NotTried | ghc-7.10.2 | linux | x86_64 | cpphs | More details |
#2 | ConfigureFailed | NotTried | NotTried | ghc-7.10.2 | linux | x86_64 | cpphs | More details |
#3 | ConfigureFailed | NotTried | NotTried | ghc-7.10.2 | linux | x86_64 | cpphs | More details |
#4 | DependencyFailed equivalence-0.3.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 |