3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/development/coq-modules/QuickChick
Vincent Laporte 9b9d3743ce coqPackages.QuickChick: fix
Use the most recent versions of branches coq8.4pl6 and coq8.5-legacy
with the corresponding versions of Coq.

Use a two month old version with Coq-8.6 to avoid issue #45:
https://github.com/QuickChick/QuickChick/issues/45
2017-09-02 15:33:16 +00:00
..
default.nix coqPackages.QuickChick: fix 2017-09-02 15:33:16 +00:00