diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2021-12-08 13:24:56 +0100 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2021-12-08 13:37:58 +0100 |
| commit | f5ca72dcf3fed01728dbf62f3506eec9365faf08 (patch) | |
| tree | 0fb982afe7142e4e5d11cc64e2148de30e1d4f25 | |
| parent | 2a512fa1be4516cf4131ec392ec5ac3d84e80dbf (diff) | |
| download | nixpkgs-f5ca72dcf3fed01728dbf62f3506eec9365faf08.tar nixpkgs-f5ca72dcf3fed01728dbf62f3506eec9365faf08.tar.gz nixpkgs-f5ca72dcf3fed01728dbf62f3506eec9365faf08.tar.bz2 nixpkgs-f5ca72dcf3fed01728dbf62f3506eec9365faf08.tar.lz nixpkgs-f5ca72dcf3fed01728dbf62f3506eec9365faf08.tar.xz nixpkgs-f5ca72dcf3fed01728dbf62f3506eec9365faf08.tar.zst nixpkgs-f5ca72dcf3fed01728dbf62f3506eec9365faf08.zip | |
coqPackages.mathcomp-bigenough: 1.0.0 → 1.0.1
| -rw-r--r-- | pkgs/development/coq-modules/mathcomp-bigenough/default.nix | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/pkgs/development/coq-modules/mathcomp-bigenough/default.nix b/pkgs/development/coq-modules/mathcomp-bigenough/default.nix index 296bd738928..2283d5ef173 100644 --- a/pkgs/development/coq-modules/mathcomp-bigenough/default.nix +++ b/pkgs/development/coq-modules/mathcomp-bigenough/default.nix @@ -6,9 +6,15 @@ with lib; mkCoqDerivation { pname = "bigenough"; owner = "math-comp"; - release = { "1.0.0".sha256 = "10g0gp3hk7wri7lijkrqna263346wwf6a3hbd4qr9gn8hmsx70wg"; }; + release = { + "1.0.0".sha256 = "10g0gp3hk7wri7lijkrqna263346wwf6a3hbd4qr9gn8hmsx70wg"; + "1.0.1".sha256 = "sha256:02f4dv4rz72liciwxb2k7acwx6lgqz4381mqyq5854p3nbyn06aw"; + }; inherit version; - defaultVersion = "1.0.0"; + defaultVersion = with versions; switch coq.version [ + { case = range "8.10" "8.15"; out = "1.0.1"; } + { case = range "8.5" "8.14"; out = "1.0.0"; } + ] null; propagatedBuildInputs = [ mathcomp.ssreflect ]; |