Merge pull request #2929 from affeldt-aist/infotheo.0.6.0b

infotheo compiles with analysis 0.7.0

Author: proux01

released/packages/coq-infotheo/coq-infotheo.0.6.0/opam

@@ -18,12 +18,12 @@ build: [
 install: [make "install"]
 depends: [
   "coq" { (>= "8.17" & < "8.19~") }
-  "coq-mathcomp-ssreflect" { (>= "1.16.0" & < "1.19~") }
+  "coq-mathcomp-ssreflect" { (>= "1.16.0" & < "2.0~") }
   "coq-mathcomp-fingroup"
   "coq-mathcomp-algebra"
   "coq-mathcomp-solvable"
   "coq-mathcomp-field"
-  "coq-mathcomp-analysis" { (>= "0.6.6") & (< "0.7~")}
+  "coq-mathcomp-analysis" { (>= "0.6.6") & (< "0.8~")}
   "coq-hierarchy-builder" { = "1.5.0" }
   "coq-mathcomp-algebra-tactics" { = "1.1.1" }
 ]