Merge pull request #2750 from palmskog/ott-0.32-8.6

coq-ott.0.32 requires 8.6 or later
coq · Oct 7, 2023 · b27d819 · b27d819
2 parents 55aaacb + 2d8e08d
commit b27d819
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-ott/coq-ott.0.32/opam b/released/packages/coq-ott/coq-ott.0.32/opam
@@ -18,7 +18,7 @@ patches: ["locality-warnings.patch"]
 build: [make "-j%{jobs}%" "-C" "coq"]
 install: [make "-C" "coq" "install"]
 depends: [
-  "coq" {>= "8.5.3"}
+  "coq" {>= "8.6"}
 ]
 conflicts: [
   "ott" { != version }