coq-unimath.20240923: tightened Coq min version to 8.19 after testing…

… 8.18 and 8.19
coq · Dec 9, 2024 · ecba146 · ecba146
1 parent 776bffb
commit ecba146
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-unimath/coq-unimath.20240923/opam b/released/packages/coq-unimath/coq-unimath.20240923/opam
@@ -9,7 +9,7 @@ build: [make "BUILD_COQ=no" "-j%{jobs}%"]
 install: [make "BUILD_COQ=no" "install"]
 depends: [
   "ocaml"
-  "coq" {>= "8.18"}
+  "coq" {>= "8.19"}
 ]
 synopsis: "Library of Univalent Mathematics"
 url {