diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2020-08-12 07:02:11 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2020-08-19 08:08:37 +0200 |
| commit | 6f83faf70bbc8ba147352cab2f1fc8d5fa298013 (patch) | |
| tree | 651e0cb6f8b152073fb102a1d206c67535f9e3c5 /pkgs/development/coq-modules | |
| parent | 6a1d98ecc465a6635c74cf25f4fa9a39b1a7a9b6 (diff) | |
coqPackages.QuickChick: 1.3.1 → 1.3.2, 1.4.0
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/QuickChick/default.nix | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/pkgs/development/coq-modules/QuickChick/default.nix b/pkgs/development/coq-modules/QuickChick/default.nix index 96ab512db619..a167b7988dcd 100644 --- a/pkgs/development/coq-modules/QuickChick/default.nix +++ b/pkgs/development/coq-modules/QuickChick/default.nix @@ -33,9 +33,15 @@ let params = }; "8.11" = rec { - version = "1.3.1"; + version = "1.3.2"; rev = "v${version}"; - sha256 = "0cajan9w52faqrg42r9rxai4wzsggs86qar88w7lcb928jvcakml"; + sha256 = "0lciwaqv288dh2f13xk2x0lrn6zyrkqy6g4yy927wwzag2gklfrs"; + }; + + "8.12" = rec { + version = "1.4.0"; + rev = "v${version}"; + sha256 = "068p48pm5yxjc3yv8qwzp25bp9kddvxj81l31mjkyx3sdrsw3kyc"; }; }; param = params.${coq.coq-version}; |