coq-mathcomp-apery and coq-prosa conflict with `coq-mathcomp-word…

….2.0` Follow up on coq#2452. Conflict for apery is here: https://github.com/coq-community/apery/blob/4239449caf0e2d05bf36a4fb9c42c702b9b9df70/theories/rat_of_Z.v#L3 Conflict for prosa is here: https://gitlab.mpi-sws.org/RT-PROOFS/rt-proofs/-/blob/v0.5/model/priority/gel.v#L4
LasseBlaauwbroek · Jan 27, 2023 · e55999f · e55999f
1 parent 1336f7f
commit e55999f
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 0 deletions.
diff --git a/released/packages/coq-mathcomp-apery/coq-mathcomp-apery.1.0.1/opam b/released/packages/coq-mathcomp-apery/coq-mathcomp-apery.1.0.1/opam
@@ -27,6 +27,7 @@ depends: [
   "coq-mathcomp-real-closed" {>= "1.1.2"}
   "coq-mathcomp-bigenough" {>= "1.0.0"}
 ]
+conflicts: [ "coq-mathcomp-word" { = "2.0" } ]
 
 tags: [
   "category:Mathematics/Arithmetic and Number Theory/Number theory"

diff --git a/released/packages/coq-mathcomp-apery/coq-mathcomp-apery.1.0.2/opam b/released/packages/coq-mathcomp-apery/coq-mathcomp-apery.1.0.2/opam
@@ -29,6 +29,7 @@ depends: [
   "coq-mathcomp-zify" {>= "1.2.0"}
   "coq-mathcomp-algebra-tactics" {>= "0.2.0"}
 ]
+conflicts: [ "coq-mathcomp-word" { = "2.0" } ]
 
 tags: [
   "category:Mathematics/Arithmetic and Number Theory/Number theory"

diff --git a/released/packages/coq-prosa/coq-prosa.0.5/opam b/released/packages/coq-prosa/coq-prosa.0.5/opam
@@ -26,6 +26,7 @@ depends: [
   "coq-mathcomp-zify" {>= "1.2.0"}
   "coq-coqeal" {>= "1.1.0"}
 ]
+conflicts: [ "coq-mathcomp-word" { = "2.0" } ]
 
 tags: [
   "keyword:prosa"