diff --git a/packages/fstar/fstar.0.9.7.0-alpha1/opam b/packages/fstar/fstar.0.9.7.0-alpha1/opam
index 426341a5e6e..c43415bde6d 100644
--- 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"