Bump coq

libtx · Dec 1, 2024 · fc533ed · fc533ed
1 parent 37747a6
commit fc533ed
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq-libtx-slot.opam b/coq-libtx-slot.opam
@@ -14,7 +14,7 @@ build: [
 ]
 install: [make "install"]
 depends: [
-  "coq" {(>= "8.17" & < "8.18~") | (= "dev")}
+  "coq" {(>= "8.17" & < "8.21~") | (= "dev")}
   "coq-record-update"
   "coq-hammer"
   "coq-libtx-storage"