coq-vst-zlist.2.12: raised minimum required coq version to 8.14.1

coq · Apr 3, 2023 · d2d099f · d2d099f
1 parent b6ab2b0
commit d2d099f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-vst-zlist/coq-vst-zlist.2.12/opam b/released/packages/coq-vst-zlist/coq-vst-zlist.2.12/opam
@@ -16,7 +16,7 @@ build: [
 run-test: []
 install: [make "-C" "zlist" "install"]
 depends: [
-  "coq" {>= "8.13"}
+  "coq" {>= "8.14.1"}
 ]
 url {
   src: "https://github.com/PrincetonUniversity/VST/archive/refs/tags/v2.12.tar.gz"