diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2021-12-08 13:24:56 +0100 |
|---|---|---|
| committer | github-actions[bot] <github-actions[bot]@users.noreply.github.com> | 2021-12-08 17:17:20 +0000 |
| commit | 31964744c7399d63c48c91c09fbdb2801b8b329b (patch) | |
| tree | e7c73b2a3da1357e901afbdcf5d85c47bec0dd40 | |
| parent | Merge pull request #149636 from NixOS/backport-149605-to-release-21.11 (diff) | |
| download | nixpkgs-origin/backport-149633-to-release-21.11.tar.gz | |
coqPackages.mathcomp-bigenough: 1.0.0 → 1.0.1origin/backport-149633-to-release-21.11
(cherry picked from commit f5ca72dcf3fed01728dbf62f3506eec9365faf08)
| -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 296bd738928f..2283d5ef1733 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 ]; |