Fix dep on rocq-prover, allowing dev for now (pinned in the docker im…

…age)
mattam82 · Jan 28, 2025 · 2a04352 · 2a04352
1 parent b7bf927
commit 2a04352
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/dune-project b/dune-project
@@ -21,7 +21,7 @@
   "logpath:Equations"))
  (depends
    (ocaml (>= 4.10.0))
-   (rocq-prover (and (>= "9.0~") (<> "dev")))
+   (rocq-prover (>= "9.0~"))
    (ppx_optcomp :build)
    (ocaml-lsp-server :with-dev-setup)))
 

diff --git a/rocq-equations.opam b/rocq-equations.opam
@@ -20,7 +20,7 @@ bug-reports: "https://github.com/mattam82/Coq-Equations/issues"
 depends: [
   "dune" {>= "3.13"}
   "ocaml" {>= "4.10.0"}
-  "rocq-prover" {>= "9.0~" & != "dev"}
+  "rocq-prover" {>= "9.0~"}
   "ppx_optcomp" {build}
   "ocaml-lsp-server" {with-dev-setup}
   "odoc" {with-doc}