From f7b5a9509f914b174a997cd620c24f973fda09df Mon Sep 17 00:00:00 2001 From: Aleksandar Nanevski Date: Tue, 1 Oct 2024 16:58:12 +0200 Subject: [PATCH 1/2] changed conflics --- released/packages/coq-htt-core/coq-htt-core.2.0.0/opam | 2 ++ released/packages/coq-htt/coq-htt.2.0.0/opam | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/released/packages/coq-htt-core/coq-htt-core.2.0.0/opam b/released/packages/coq-htt-core/coq-htt-core.2.0.0/opam index 4fff33944..bd132aee1 100644 --- a/released/packages/coq-htt-core/coq-htt-core.2.0.0/opam +++ b/released/packages/coq-htt-core/coq-htt-core.2.0.0/opam @@ -36,6 +36,8 @@ depends: [ "coq-fcsl-pcm" { (>= "2.0.0" & < "2.1~") | (= "dev") } ] +conflicts: [ "coq-htt" {>= "2.0.0"} ] + tags: [ "category:Computer Science/Data Types and Data Structures" "keyword:partial commutative monoids" diff --git a/released/packages/coq-htt/coq-htt.2.0.0/opam b/released/packages/coq-htt/coq-htt.2.0.0/opam index 5826dea42..15a59b62e 100644 --- a/released/packages/coq-htt/coq-htt.2.0.0/opam +++ b/released/packages/coq-htt/coq-htt.2.0.0/opam @@ -36,7 +36,7 @@ depends: [ "coq-mathcomp-fingroup" "coq-fcsl-pcm" { (>= "2.0.0" & < "2.1~") | (= "dev") } ] -conflicts: [ "coq-htt-core" {>= "2.0.0"} ] + tags: [ "category:Computer Science/Data Types and Data Structures" "keyword:partial commutative monoids" From 849851dc9830f3556251d9db58cf10f34cdea689 Mon Sep 17 00:00:00 2001 From: Aleksandar Nanevski Date: Tue, 1 Oct 2024 16:59:19 +0200 Subject: [PATCH 2/2] updating conflicts --- released/packages/coq-htt-core/coq-htt-core.2.0.0/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/released/packages/coq-htt-core/coq-htt-core.2.0.0/opam b/released/packages/coq-htt-core/coq-htt-core.2.0.0/opam index bd132aee1..3aad3a002 100644 --- a/released/packages/coq-htt-core/coq-htt-core.2.0.0/opam +++ b/released/packages/coq-htt-core/coq-htt-core.2.0.0/opam @@ -36,7 +36,7 @@ depends: [ "coq-fcsl-pcm" { (>= "2.0.0" & < "2.1~") | (= "dev") } ] -conflicts: [ "coq-htt" {>= "2.0.0"} ] +conflicts: [ "coq-htt" ] tags: [ "category:Computer Science/Data Types and Data Structures"