Build reports for aern2-mp-0.1.4
Status: Built successfully.
| No. | Outcome | Compiler | OS | Arch | Flags | Details | ||
|---|---|---|---|---|---|---|---|---|
| Install | Docs | Tests | ||||||
| #1 | DependencyFailed aern2-mp-0.1.4 | NotTried | NotTried | ghc-8.6.3 | linux | x86_64 | -usecdar | More details |
| #2 | DependencyFailed aern2-mp-0.1.4 | NotTried | NotTried | ghc-8.6.3 | linux | x86_64 | -usecdar | More details |
| #3 | DependencyFailed aern2-mp-0.1.4 | NotTried | NotTried | ghc-8.6.3 | linux | x86_64 | -usecdar | More details |