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

coqPackages.coqhammer: 1.2 → 1.3

Browse Source
This commit is contained in:
Vincent Laporte 2020-08-13 07:28:04 +02:00 committed by Vincent Laporte
parent 3b9cb4fcf4
commit f839441f09
1 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
pkgs/development/coq-modules/coqhammer/default.nix
View File

@ -13,12 +13,16 @@ let
buildInputs = [ coq.ocamlPackages.camlp5 ];
};
"8.10" = {
version = "1.2";
sha256 = "1ir313mmkgp2c65wgw8c681a15clvri1wb1hyjqmj7ymx4shkl56";
version = "1.3";
sha256 = "1fj8497ir4m79hyrmmmmrag01001wrby0h24wv6525vz0w5py3cd";
};
"8.11" = {
version = "1.2";
sha256 = "1w317h7r5llyamzn1kqb8j6p5sxks2j8vq8wnpzrx01jqbyibxgy";
version = "1.3";
sha256 = "08zf8qfna7b9p2myfaz4g7bas3a1q1156x78n5isqivlnqfrjc1b";
};
"8.12" = {
version = "1.3";
sha256 = "1q1y3cwhd98pkm98g71fsdjz85bfwgcz2xn7s7wwmiraifv5l6z8";
};
};
param = params.${coq.coq-version};