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

coqPackages.coqprime: enable for Coq 8.9

Browse Source
This commit is contained in:
Vincent Laporte 2018-12-13 09:20:24 +00:00 committed by Vincent Laporte
parent 88d52d89e2
commit 881bec3238
1 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
pkgs/development/coq-modules/coqprime/default.nix
View File

@ -1,16 +1,19 @@
{ stdenv, fetchFromGitHub, coq, bignums }: { stdenv, fetchFromGitHub, coq, bignums }:
let params = let params =
let v_8_8 = {
version = "8.8";
sha256 = "075yjczk79pf1hd3lgdjiz84ilkzfxjh18lgzrhhqp7d3kz5lxp5";
};
in
{ {
"8.7" = { "8.7" = {
version = "8.7.2"; version = "8.7.2";
sha256 = "15zlcrx06qqxjy3nhh22wzy0rb4npc8l4nx2bbsfsvrisbq1qb7k"; sha256 = "15zlcrx06qqxjy3nhh22wzy0rb4npc8l4nx2bbsfsvrisbq1qb7k";
}; };
"8.8" = { "8.8" = v_8_8;
version = "8.8"; "8.9" = v_8_8;
sha256 = "075yjczk79pf1hd3lgdjiz84ilkzfxjh18lgzrhhqp7d3kz5lxp5";
}; };
};
param = params."${coq.coq-version}" param = params."${coq.coq-version}"
; in ; in