Build reports for liquid-fixpoint-0.1.0.0
Status: Built successfully.
No. | Outcome | Compiler | OS | Arch | Flags | Details | ||
---|---|---|---|---|---|---|---|---|
Install | Docs | Tests | ||||||
#1 | InstallFailed | NotTried | NotTried | ghc-7.6.3 | linux | x86_64 | -z3mem | More details |
No. | Outcome | Compiler | OS | Arch | Flags | Details | ||
---|---|---|---|---|---|---|---|---|
Install | Docs | Tests | ||||||
#1 | InstallFailed | NotTried | NotTried | ghc-7.6.3 | linux | x86_64 | -z3mem | More details |