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