ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-12-25 20:34:52 +03:00
Code Issues Projects Releases Wiki Activity

coqPackages_8_7.QuickChick: update to latest master

Browse Source
This commit is contained in:
John Wiegley 2017-12-12 11:36:50 -08:00
parent 5dfc42bb8a
commit dc6f3e3c7b
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/development/coq-modules/QuickChick/default.nix
View File

@ -15,9 +15,9 @@ let param =
};
"8.7" = {
version = "20171102";
rev = "ddf746809c211fa7edfdbfe459d5a7e1cca47a44";
sha256 = "0jg3x0w8p088b8369qx492hjpq09f9h2i0li6ph3pny6hdkpdzsi";
version = "20171212";
rev = "195e550a1cf0810497734356437a1720ebb6d744";
sha256 = "0zm23y89z0h4iamy74qk9qi2pz2cj3ga6ygav0w79n0qyqwhxcq1";
};
}."${coq.coq-version}"