diff options
| author | John Wiegley <johnw@newartisans.com> | 2017-12-12 11:36:50 -0800 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2017-12-12 11:37:17 -0800 |
| commit | dc6f3e3c7b56a097848539c6692d37bf2468cd22 (patch) | |
| tree | 5f2b493e4daf5aa75c7c746b8bd947caec32bff8 /pkgs | |
| parent | 5dfc42bb8ab7dc868d5ea62f1f03d7e866dc9b81 (diff) | |
| download | nixlib-dc6f3e3c7b56a097848539c6692d37bf2468cd22.tar nixlib-dc6f3e3c7b56a097848539c6692d37bf2468cd22.tar.gz nixlib-dc6f3e3c7b56a097848539c6692d37bf2468cd22.tar.bz2 nixlib-dc6f3e3c7b56a097848539c6692d37bf2468cd22.tar.lz nixlib-dc6f3e3c7b56a097848539c6692d37bf2468cd22.tar.xz nixlib-dc6f3e3c7b56a097848539c6692d37bf2468cd22.tar.zst nixlib-dc6f3e3c7b56a097848539c6692d37bf2468cd22.zip | |
coqPackages_8_7.QuickChick: update to latest master
Diffstat (limited to 'pkgs')
| -rw-r--r-- | pkgs/development/coq-modules/QuickChick/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/coq-modules/QuickChick/default.nix b/pkgs/development/coq-modules/QuickChick/default.nix index a65dad546617..2a0c3ade5612 100644 --- a/pkgs/development/coq-modules/QuickChick/default.nix +++ b/pkgs/development/coq-modules/QuickChick/default.nix @@ -15,9 +15,9 @@ let param = }; "8.7" = { - version = "20171102"; - rev = "ddf746809c211fa7edfdbfe459d5a7e1cca47a44"; - sha256 = "0jg3x0w8p088b8369qx492hjpq09f9h2i0li6ph3pny6hdkpdzsi"; + version = "20171212"; + rev = "195e550a1cf0810497734356437a1720ebb6d744"; + sha256 = "0zm23y89z0h4iamy74qk9qi2pz2cj3ga6ygav0w79n0qyqwhxcq1"; }; }."${coq.coq-version}" |