Vincent Laporte 281b26533d coqPackages.QuickChick: init at 1.1.0 for Coq 8.9 ... Removes QuickChick for Coq 8.7 as it is broken (probably due to a too recent ssreflect).		2019-06-06 15:06:02 +00:00
..
default.nix	coqPackages.QuickChick: init at 1.1.0 for Coq 8.9	2019-06-06 15:06:02 +00:00