diff options
author | Damien Cassou <damien@cassou.me> | 2020-04-26 21:02:09 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-26 21:02:09 +0200 |
commit | 5eb2125cb47b50a72c99ab0f94c78d0b478f29d9 (patch) | |
tree | 39bfb9366ed4af22fc9efdb06ea942f28505cfa0 /pkgs/development/coq-modules | |
parent | 8c65a2f1de8b5c9afddd217f3ed425eae5e1399e (diff) | |
parent | ef964a801ebe3d5e4ccaf682aa4adb5ee4d4e933 (diff) | |
download | nixlib-5eb2125cb47b50a72c99ab0f94c78d0b478f29d9.tar nixlib-5eb2125cb47b50a72c99ab0f94c78d0b478f29d9.tar.gz nixlib-5eb2125cb47b50a72c99ab0f94c78d0b478f29d9.tar.bz2 nixlib-5eb2125cb47b50a72c99ab0f94c78d0b478f29d9.tar.lz nixlib-5eb2125cb47b50a72c99ab0f94c78d0b478f29d9.tar.xz nixlib-5eb2125cb47b50a72c99ab0f94c78d0b478f29d9.tar.zst nixlib-5eb2125cb47b50a72c99ab0f94c78d0b478f29d9.zip |
Merge pull request #86058 from vbgl/coq-coqhammer-1.2
coqPackages.coqhammer: 1.1.1 → 1.2
Diffstat (limited to 'pkgs/development/coq-modules')
-rw-r--r-- | pkgs/development/coq-modules/coqhammer/default.nix | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/pkgs/development/coq-modules/coqhammer/default.nix b/pkgs/development/coq-modules/coqhammer/default.nix index 7d9ec5e7312b..16813ac4f119 100644 --- a/pkgs/development/coq-modules/coqhammer/default.nix +++ b/pkgs/development/coq-modules/coqhammer/default.nix @@ -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}; |