coqPackages.mathcomp: 1.7.0 -> 1.8.0

coqPackages.mathcomp-finmap: 1.1.0 -> 1.2.0
coqPackages.mathcomp-analysis: 0.1.0 -> 0.2.0

pkgs/development/coq-modules/mathcomp-analysis/default.nix

@@ -1,14 +1,14 @@
 { stdenv, fetchFromGitHub, coq, mathcomp-bigenough, mathcomp-finmap }:
 
 stdenv.mkDerivation rec {
-  version = "0.1.0";
+  version = "0.2.0";
   name = "coq${coq.coq-version}-mathcomp-analysis-${version}";
 
   src = fetchFromGitHub {
     owner = "math-comp";
     repo = "analysis";
     rev = version;
-    sha256 = "0hwkr2wzy710pcyh274fcarzdx8sv8myp16pv0vq5978nmih46al";
+    sha256 = "1186xjxgns4ns1szyi931964bjm0mp126qzlv10mkqqgfw07nhrd";
   };
 
   buildInputs = [ coq ];

pkgs/development/coq-modules/mathcomp-finmap/default.nix

@@ -1,14 +1,25 @@
 { stdenv, fetchFromGitHub, coq, mathcomp }:
 
+let param =
+  if stdenv.lib.versionAtLeast mathcomp.version "1.8.0"
+  then {
+    version = "1.2.0";
+    sha256 = "0b6wrdr0d7rcnv86s37zm80540jl2wmiyf39ih7mw3dlwli2cyj4";
+  } else {
+    version = "1.1.0";
+    sha256 = "05df59v3na8jhpsfp7hq3niam6asgcaipg2wngnzxzqnl86srp2a";
+  }
+; in
+
 stdenv.mkDerivation rec {
-  version = "1.1.0";
+  inherit (param) version;
   name = "coq${coq.coq-version}-mathcomp-finmap-${version}";
 
   src = fetchFromGitHub {
     owner = "math-comp";
     repo = "finmap";
     rev = version;
-    sha256 = "05df59v3na8jhpsfp7hq3niam6asgcaipg2wngnzxzqnl86srp2a";
+    inherit (param) sha256;
   };
 
   buildInputs = [ coq ];

pkgs/development/coq-modules/mathcomp/default.nix

@@ -4,7 +4,12 @@
 
 let param =
 
-  if stdenv.lib.versionAtLeast coq.coq-version "8.6" then
+  if stdenv.lib.versionAtLeast coq.coq-version "8.7" then
+  {
+    version = "1.8.0";
+    sha256 = "07l40is389ih8bi525gpqs3qp4yb2kl11r9c8ynk1ifpjzpnabwp";
+  }
+  else if stdenv.lib.versionAtLeast coq.coq-version "8.6" then
   {
     version = "1.7.0";
     sha256 = "0wnhj9nqpx2bw6n1l4i8jgrw3pjajvckvj3lr4vzjb3my2lbxdd1";