Add missing conflict clause to coq-core.8.18+rc1

coq · Oct 17, 2023 · 1f406dd · 1f406dd
1 parent 85a3d8a
commit 1f406dd
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/core-dev/packages/coq-core/coq-core.8.18+rc1/opam b/core-dev/packages/coq-core/coq-core.8.18+rc1/opam
@@ -31,6 +31,9 @@ depends: [
   "zarith" {>= "1.11"}
   "ounit2" {with-test}
 ]
+conflicts: [
+  "coq"   { < "8.17" }
+]
 depopts: ["coq-native"]
 build: [
   [