Merge pull request #2867 from proux01/record_update_819

coq-record-updates.0.3.1 compiles with Coq 8.19+rc1
coq · Dec 20, 2023 · e300166 · e300166
2 parents 9eeb2ef + f244eaf
commit e300166
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-record-update/coq-record-update.0.3.1/opam b/released/packages/coq-record-update/coq-record-update.0.3.1/opam
@@ -16,7 +16,7 @@ simple typeclass that lists out the record fields."""
 build: [make "-j%{jobs}%" "NO_TEST=1"]
 install: [make "install"]
 depends: [
-  "coq" {(>= "8.10" & < "8.18~") | (= "dev")}
+  "coq" {(>= "8.10" & < "8.20~") | (= "dev")}
 ]
 
 tags: [