Merge remote-tracking branch 'NixOS/master' into staging

1 files changed, 13 insertions, 2 deletions

diff --git a/pkgs/development/coq-modules/mathcomp-finmap/default.nix b/pkgs/development/coq-modules/mathcomp-finmap/default.nix
index 18584d28c68..c36b72711ff 100644
--- a/pkgs/development/coq-modules/mathcomp-finmap/default.nix
+++ b/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 ];