Merge pull request #3223 from palmskog/fourcolor-2.1.0

coq-fourcolor.1.4.0 is not compatible with MathComp 2.0.0
coq · Dec 1, 2024 · 4af8daf · 4af8daf
2 parents 511da2e + c874517
commit 4af8daf
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/released/packages/coq-fourcolor-reals/coq-fourcolor-reals.1.4.0/opam b/released/packages/coq-fourcolor-reals/coq-fourcolor-reals.1.4.0/opam
@@ -15,15 +15,15 @@ build: [make "-C" "theories/reals" "-j%{jobs}%"]
 install: [make "-C" "theories/reals" "install"]
 depends: [
   "coq" {(>= "8.16" & < "8.21~") | (= "dev")}
-  "coq-mathcomp-ssreflect" {(>= "2.0.0" & < "2.4~") | (= "dev")}
+  "coq-mathcomp-ssreflect" {(>= "2.1.0" & < "2.4~") | (= "dev")}
   "coq-mathcomp-algebra" 
 ]
 
 tags: [
   "category:Mathematics/Real Calculus and Topology"
   "keyword:real numbers"
   "logpath:fourcolor.reals"
-  "date: 2024-11-15"
+  "date:2024-11-15"
 ]
 conflicts: [
   "coq-fourcolor" { != version }

diff --git a/released/packages/coq-fourcolor/coq-fourcolor.1.4.0/opam b/released/packages/coq-fourcolor/coq-fourcolor.1.4.0/opam
@@ -17,7 +17,7 @@ build: [make "-C" "theories/proof" "-j%{jobs}%"]
 install: [make "-C" "theories/proof" "install"]
 depends: [
   "coq" {(>= "8.16" & < "8.21~") | (= "dev")}
-  "coq-mathcomp-ssreflect" {(>= "2.0.0" & < "2.4~") | (= "dev")}
+  "coq-mathcomp-ssreflect" {(>= "2.1.0" & < "2.4~") | (= "dev")}
   "coq-mathcomp-algebra" 
   "coq-hierarchy-builder" {>= "1.5.0"}
   "coq-fourcolor-reals" {= version}
@@ -29,7 +29,7 @@ tags: [
   "keyword:small scale reflection"
   "keyword:Mathematical Components"
   "logpath:fourcolor.proof"
-  "date: 2024-11-15"
+  "date:2024-11-15"
 ]
 
 authors: [