John Wiegley 2df7f1b5b5 coq.QuickChick: Update to latest version that works with Coq 8.6		2017-04-23 21:53:21 -07:00
..
default.nix	coq.QuickChick: Update to latest version that works with Coq 8.6	2017-04-23 21:53:21 -07:00