change deps versions to those compatible with CI

formal-land · Jan 30, 2024 · 2bcd89f · 2bcd89f
1 parent 928f6c2
commit 2bcd89f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/CoqOfRust/coq-of-rust.opam b/CoqOfRust/coq-of-rust.opam
@@ -15,8 +15,8 @@ bug-reports: "https://github.com/formal-land/coq-of-rust/issues"
 dev-repo: "git+https://github.com/formal-land/coq-of-rust.git"
 depends: [
   "ocaml" {>= "4.08"}
-  "coq" {>= "8.18"}
-  "coq-hammer" {>= "1.3.2+8.18"}
+  "coq" {>= "8.17.1" & < "8.18"}
+  "coq-hammer" {>= "1.3.2+8.17" & < "1.3.2+8.18"}
 ]
 build: [
   ["./configure.sh"]