Skip to content

allow OCaml < 4.10 for fstar dev-repo#16684

Closed
tahina-pro wants to merge 1 commit intoocaml:masterfrom tahina-pro:fstar-v0.9.7.0-alpha1-ocaml-lt-4.10
+1-1

Commits

Commits on Jun 20, 2020