[opam] Allow Coq dev version on constraint.

rocq-archive · May 16, 2024 · 6d742de · 6d742de
1 parent 6d521e7
commit 6d742de
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/coq-serapi.opam b/coq-serapi.opam
@@ -23,12 +23,12 @@ authors: [
 ]
 
 depends: [
-  "ocaml"               {           >= "4.09.0"              }
-  "coq"                 {           >= "8.20" & < "8.21"     }
-  "cmdliner"            {           >= "1.1.0"               }
-  "ocamlfind"           {           >= "1.8.0"               }
-  "sexplib"             {           >= "v0.13.0"             }
-  "dune"                {           >= "2.0.1"               }
+  "ocaml"               {           >= "4.09.0"                    }
+  "coq"                 {           >= "8.20" & < "8.21" | = "dev" }
+  "cmdliner"            {           >= "1.1.0"                     }
+  "ocamlfind"           {           >= "1.8.0"                     }
+  "sexplib"             {           >= "v0.13.0"                   }
+  "dune"                {           >= "2.0.1"                     }
   "ppx_import"          { build   & >= "1.5-3" & < "2.0"     }
   "ppx_deriving"        {           >= "4.2.1"               }
   "ppx_sexp_conv"       {           >= "v0.13.0"             }