allow OCaml < 4.10 for fstar dev-repo

ocaml · Jun 20, 2020 · a885467 · a885467
1 parent ebf6df3
commit a885467
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/fstar/fstar.0.9.7.0-alpha1/opam b/packages/fstar/fstar.0.9.7.0-alpha1/opam
@@ -5,7 +5,7 @@ authors: "Nik Swamy <nswamy@microsoft.com>,Jonathan Protzenko <protz@microsoft.c
 homepage: "http://fstar-lang.org"
 license: "Apache-2.0"
 depends: [
-  "ocaml" {>= "4.04.0" & < "4.08.0"}
+  "ocaml" {>= "4.04.0" & ( < "4.08.0" | (dev & < "4.10.0")) }
   "ocamlfind"
   "batteries"
   "zarith"