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

coqPackages.coqhammer: 1.1.1 → 1.2

Browse Source 
Add support for Coq 8.11
This commit is contained in:
Vincent Laporte 2020-04-26 15:51:20 +02:00
parent 5e4abf76c7
commit ef964a801e
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -13,8 +13,12 @@ let
buildInputs = [ coq.ocamlPackages.camlp5 ];
};
"8.10" = {
version = "1.1.1";
sha256 = "0b6r7bsygl1axbqybkhkr7zlwcd51ski5ql52994klrrxvjd58df";
version = "1.2";
sha256 = "1ir313mmkgp2c65wgw8c681a15clvri1wb1hyjqmj7ymx4shkl56";
};
"8.11" = {
version = "1.2";
sha256 = "1w317h7r5llyamzn1kqb8j6p5sxks2j8vq8wnpzrx01jqbyibxgy";
};
};
param = params.${coq.coq-version};