Update Coq version dependency in opam

tchajed · Oct 5, 2023 · 50e45e9 · 50e45e9
1 parent 9baa95f
commit 50e45e9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq-record-update.opam b/coq-record-update.opam
@@ -20,7 +20,7 @@ simple typeclass that lists out the record fields."""
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" {(>= "8.14" & < "8.17~") | (= "dev")}
+  "coq" {(>= "8.14" & < "8.19~") | (= "dev")}
 ]
 
 tags: [