diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-11-12 11:12:14 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2018-11-19 08:47:34 +0000 |
| commit | c4cad8cfa7ba1c66199e064c93fe3525e919cb82 (patch) | |
| tree | a23cd50a3ddc518777b8830c5e391e5ff0be1504 /pkgs/development/coq-modules | |
| parent | 0925c482c8378e8a6a8724edc6596ea60f90a113 (diff) | |
| download | nixpkgs-c4cad8cfa7ba1c66199e064c93fe3525e919cb82.tar nixpkgs-c4cad8cfa7ba1c66199e064c93fe3525e919cb82.tar.gz nixpkgs-c4cad8cfa7ba1c66199e064c93fe3525e919cb82.tar.bz2 nixpkgs-c4cad8cfa7ba1c66199e064c93fe3525e919cb82.tar.lz nixpkgs-c4cad8cfa7ba1c66199e064c93fe3525e919cb82.tar.xz nixpkgs-c4cad8cfa7ba1c66199e064c93fe3525e919cb82.tar.zst nixpkgs-c4cad8cfa7ba1c66199e064c93fe3525e919cb82.zip | |
coqPackages.bignums: enable for Coq version 8.9
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/bignums/default.nix | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/pkgs/development/coq-modules/bignums/default.nix b/pkgs/development/coq-modules/bignums/default.nix index e645a3424c0..0d5a892e2e9 100644 --- a/pkgs/development/coq-modules/bignums/default.nix +++ b/pkgs/development/coq-modules/bignums/default.nix @@ -1,6 +1,11 @@ { stdenv, fetchFromGitHub, coq }: let params = + let v_8_8_0 = { + rev = "V8.8.0"; + sha256 = "1ymxyrvjygscxkfj3qkq66skl3vdjhb670rzvsvgmwrjkrakjnfg"; + }; + in { "8.6" = { rev = "v8.6.0"; @@ -10,10 +15,8 @@ let params = rev = "V8.7.0"; sha256 = "11c4sdmpd3l6jjl4v6k213z9fhrmmm1xnly3zmzam1wrrdif4ghl"; }; - "8.8" = { - rev = "V8.8+beta1"; - sha256 = "1ymxyrvjygscxkfj3qkq66skl3vdjhb670rzvsvgmwrjkrakjnfg"; - }; + "8.8" = v_8_8_0; + "8.9" = v_8_8_0; }; param = params."${coq.coq-version}" ; in |