puzzled

Author: gares

coq-elpi.opam

@@ -18,8 +18,8 @@ depends: [
   "dune" {>= "3.13"}
   "ocaml" {>= "4.10.0"}
   "elpi" {>= "2.0.7" & < "2.1.0~"}
-  ("coq-core" {>= "8.20+rc1" & < "8.21~"} & "coq-stdlib"
-  | "rocq-core" {>= "9.0+rc1" & < "9.1~"} & "coq-core")
+  ("coq-core" {>= "8.20+rc1" & < "8.21~" | = "dev" } & "coq-stdlib"
+  | "rocq-core" {>= "9.0+rc1" & < "9.1~" | = "dev" } & "coq-core")
   "ppx_optcomp"
   "ocaml-lsp-server" {with-dev-setup}
   "odoc" {with-doc}