Build reports for liquid-fixpoint-0.9.4.7
Status: Built successfully.
| No. | Outcome | Compiler | OS | Arch | Flags | Details | ||
|---|---|---|---|---|---|---|---|---|
| Install | Docs | Tests | ||||||
| #1 | InstallOk | Ok | NotTried | ghc-9.2.4 | linux | x86_64 | -devel -link-z3-as-a-library | More details |
| No. | Outcome | Compiler | OS | Arch | Flags | Details | ||
|---|---|---|---|---|---|---|---|---|
| Install | Docs | Tests | ||||||
| #1 | InstallOk | Ok | NotTried | ghc-9.2.4 | linux | x86_64 | -devel -link-z3-as-a-library | More details |