From 462b5e0d21f3735b0dc8fecb70ffa616ffd0fef6 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Sat, 11 Nov 2017 09:44:29 -0800
Subject: coqPackages.mathcomp: 1.6.1 -> 1.6.4, for Coq versions 8.6 and 8.7

---
 pkgs/development/coq-modules/mathcomp/default.nix | 30 ++++++++++++++++++++---
 1 file changed, 26 insertions(+), 4 deletions(-)

(limited to 'pkgs/development')

diff --git a/pkgs/development/coq-modules/mathcomp/default.nix b/pkgs/development/coq-modules/mathcomp/default.nix
index a80c934c6c1..48cb2c4d33f 100644
--- a/pkgs/development/coq-modules/mathcomp/default.nix
+++ b/pkgs/development/coq-modules/mathcomp/default.nix
@@ -2,10 +2,32 @@
 
 let param =
   {
-    version = "1.6.1";
-    url = https://github.com/math-comp/math-comp/archive/mathcomp-1.6.1.tar.gz;
-    sha256 = "1j9ylggjzrxz1i2hdl2yhsvmvy5z6l4rprwx7604401080p5sgjw";
-  }; in
+    "8.4" =  {
+      version = "1.6.1";
+      url = https://github.com/math-comp/math-comp/archive/mathcomp-1.6.1.tar.gz;
+      sha256 = "1j9ylggjzrxz1i2hdl2yhsvmvy5z6l4rprwx7604401080p5sgjw";
+    };
+
+    "8.5" =  {
+      version = "1.6.1";
+      url = https://github.com/math-comp/math-comp/archive/mathcomp-1.6.1.tar.gz;
+      sha256 = "1j9ylggjzrxz1i2hdl2yhsvmvy5z6l4rprwx7604401080p5sgjw";
+    };
+
+    "8.6" =  {
+      version = "1.6.4";
+      url = https://github.com/math-comp/math-comp/archive/mathcomp-1.6.4.tar.gz;
+      sha256 = "0qmjjb6jsxmmf4gpw10r30rmrvwqgzirvvgyy41mz2vhgwis8wn6";
+    };
+
+    "8.7" = {
+      version = "1.6.4";
+      url = https://github.com/math-comp/math-comp/archive/mathcomp-1.6.4.tar.gz;
+      sha256 = "0qmjjb6jsxmmf4gpw10r30rmrvwqgzirvvgyy41mz2vhgwis8wn6";
+    };
+
+  }."${coq.coq-version}"
+; in
 
 callPackage ./generic.nix {
   name = "coq${coq.coq-version}-mathcomp-${param.version}";
-- 
cgit 1.4.1