Merge pull request coq#3170 from aleksnanevski/coq-htt.2.0.0

Coq htt.2.0.0
aleksnanevski · Oct 1, 2024 · 2bce8f9 · 2bce8f9
2 parents 389661a + 849851d
commit 2bce8f9
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 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
@@ -36,6 +36,8 @@ depends: [
   "coq-fcsl-pcm" { (>= "2.0.0" & < "2.1~") | (= "dev") }
 ]
 
+conflicts: [ "coq-htt" ]
+
 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
@@ -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"