add conflicts with coq-core for failing revdeps of coq with 8.17.0

palmskog · palmskog · commit 281896342ae2 · 2023-03-29T13:06:34.000+02:00
diff --git a/packages/coq-of-ocaml/coq-of-ocaml.2.5.3+4.14/opam b/packages/coq-of-ocaml/coq-of-ocaml.2.5.3+4.14/opam
@@ -28,6 +28,7 @@ depopts: [
 ]
 conflicts: [
   "coq" {< "8.11"}
+  "coq-core"
 ]
 tags: [
   "keyword:compilation"
diff --git a/packages/zenon/zenon.0.8.4/opam b/packages/zenon/zenon.0.8.4/opam
@@ -12,6 +12,7 @@ depopts: [
 ]
 conflicts: [
   "coq" {>= "8.9"}
+  "coq-core"
 ]
 build: [
   ["./configure" "--prefix" "%{prefix}%" "--libdir" "%{zenon:lib}%"]
diff --git a/packages/zenon/zenon.0.8.5/opam b/packages/zenon/zenon.0.8.5/opam
@@ -10,6 +10,9 @@ depends: [
 depopts: [
   "coq" {>= "8.6"}
 ]
+conflicts: [
+  "coq-core"
+]
 build: [
   ["./configure" "--prefix" "%{prefix}%" "--libdir" "%{zenon:lib}%"]
   [make]

Original file line number	Diff line number	Diff line change
`@@ -12,6 +12,7 @@ depopts: [`
`12`	`12`	`]`
`13`	`13`	`conflicts: [`
`14`	`14`	`"coq" {>= "8.9"}`
	`15`	`+ "coq-core"`
`15`	`16`	`]`
`16`	`17`	`build: [`
`17`	`18`	`["./configure" "--prefix" "%{prefix}%" "--libdir" "%{zenon:lib}%"]`