Update released/packages/coq-unimath/coq-unimath.20230321/opam

Require Coq >= 8.16.1 Co-authored-by: Benedikt Ahrens <[email protected]>
coq · Mar 31, 2023 · e4d569e · e4d569e
1 parent ed4c039
commit e4d569e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-unimath/coq-unimath.20230321/opam b/released/packages/coq-unimath/coq-unimath.20230321/opam
@@ -9,7 +9,7 @@ build: [make "BUILD_COQ=no" "-j%{jobs}%"]
 install: [make "BUILD_COQ=no" "install"]
 depends: [
   "ocaml"
-  "coq" {>= "8.12.2"}
+  "coq" {>= "8.16.1"}
 ]
 synopsis: "Library of Univalent Mathematics"
 url {