Section: extra-mono

Depends: mono, z3

Depends (build): findlib, fsharp, opam, zarith

Links: Changelog, QA Page, Report issues

Upstream: source (tarball), latest version 0.9.6.0

Available versions

Version 0.9.6.00.9.5.0
amd64 3.9MiB
arm64
armel
powerpc
ppc64
riscv64