Build reports for scyther-proof-0.10.0.1
Status: Built successfully.
| No. | Outcome | Compiler | OS | Arch | Flags | Details | ||
|---|---|---|---|---|---|---|---|---|
| Install | Docs | Tests | ||||||
| #1 | InstallOk | Ok | NotTried | ghc-7.8.3 | linux | x86_64 | threaded | More details |
| #2 | InstallOk | Ok | NotTried | ghc-7.10.2 | linux | x86_64 | threaded | More details |
| #3 | InstallOk | Ok | NotTried | ghc-7.10.2 | linux | x86_64 | threaded | More details |
| #4 | DependencyFailed tagsoup-0.13.5 | NotTried | NotTried | ghc-7.10.2 | linux | x86_64 | threaded | More details |
| #5 | InstallOk | Ok | NotTried | ghc-7.10.2 | linux | x86_64 | threaded | More details |
| #6 | PlanningFailed | NotTried | NotTried | ghc-8.0.1.20161018 | linux | x86_64 | none | More details |
| #7 | PlanningFailed | NotTried | NotTried | ghc-8.0.1.20161018 | linux | x86_64 | none | More details |