public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

coqPackages.bignums: enable for Coq 8.10

Browse Source
This commit is contained in:
Vincent Laporte 2019-06-12 08:16:31 +00:00 committed by Vincent Laporte
parent ad96121365
commit dbb6f70006
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/coq-modules/bignums/default.nix
View File

@ -17,6 +17,10 @@ let params = {
rev = "V8.9.0"; rev = "V8.9.0";
sha256 = "03qz1w2xb2j5p06liz5yyafl0fl9vprcqm6j0iwi7rxwghl00p01"; sha256 = "03qz1w2xb2j5p06liz5yyafl0fl9vprcqm6j0iwi7rxwghl00p01";
}; };
"8.10" = {
rev = "V8.10+beta1";
sha256 = "1slw227idwjw9a21vj3s6kal22mrmvvlpg8r7xk590ml99bn6404";
};
}; };
param = params."${coq.coq-version}"; param = params."${coq.coq-version}";
in in