diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-04-16 08:30:14 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-04-23 09:35:38 +0200 |
| commit | f09a13899dbd767ba0602309b21f4b8926e7e059 (patch) | |
| tree | 6e8e47bf0656ea02eaadee4983dde70cdef62534 /pkgs/development/coq-modules/mathcomp | |
| parent | 640fd927091d399062098079c5987cb0693d0d69 (diff) | |
| download | nixlib-f09a13899dbd767ba0602309b21f4b8926e7e059.tar nixlib-f09a13899dbd767ba0602309b21f4b8926e7e059.tar.gz nixlib-f09a13899dbd767ba0602309b21f4b8926e7e059.tar.bz2 nixlib-f09a13899dbd767ba0602309b21f4b8926e7e059.tar.lz nixlib-f09a13899dbd767ba0602309b21f4b8926e7e059.tar.xz nixlib-f09a13899dbd767ba0602309b21f4b8926e7e059.tar.zst nixlib-f09a13899dbd767ba0602309b21f4b8926e7e059.zip | |
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
Diffstat (limited to 'pkgs/development/coq-modules/mathcomp')
| -rw-r--r-- | pkgs/development/coq-modules/mathcomp/default.nix | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/mathcomp/default.nix b/pkgs/development/coq-modules/mathcomp/default.nix index 1e5b6b7bf666..8b4c74fb1a54 100644 --- a/pkgs/development/coq-modules/mathcomp/default.nix +++ b/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"; |