coqPackages.mathcomp: 1.6.1 -> 1.6.4

7 years ago · 5a43ac2c60
parent 139d931d4d
commit 5a43ac2c60
1 changed files with 3 additions and 3 deletions
--- a/pkgs/development/coq-modules/mathcomp/default.nix
+++ b/pkgs/development/coq-modules/mathcomp/default.nix
@ -2,9 +2,9 @@

 let param =
  {
-    version = "1.6.1";
-    url = https://github.com/math-comp/math-comp/archive/mathcomp-1.6.1.tar.gz;
-    sha256 = "1j9ylggjzrxz1i2hdl2yhsvmvy5z6l4rprwx7604401080p5sgjw";
+    version = "1.6.4";
+    url = https://github.com/math-comp/math-comp/archive/mathcomp-1.6.4.tar.gz;
+    sha256 = "0qmjjb6jsxmmf4gpw10r30rmrvwqgzirvvgyy41mz2vhgwis8wn6";
  }; in

 callPackage ./generic.nix {