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
index 3d4d6d710..8b1fff458 100644
--- 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,7 +15,7 @@ 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" 
 ]
 
@@ -23,7 +23,7 @@ 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
index 7d5f000ae..9e46cf121 100644
--- 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: [