5 Commits

Author	SHA1	Message	Date
John Wiegley	d40dd2c70d	coqPackages.QuickChick: 20170422 -> 20170710	2017-07-10 18:35:56 -07:00
John Wiegley	2df7f1b5b5	coq.QuickChick: Update to latest version that works with Coq 8.6	2017-04-23 21:53:21 -07:00
Tuomas Tynkkynen	bac26e08db	Fix lots of fetchgit hashes (fallout from #15469)	2016-06-03 17:17:08 +03:00
Vincent Laporte	7e80417fa8	coq-QuickChick: 21f50a02 -> 20150605	2015-08-18 21:28:33 +02:00
John Wiegley	1da4d8b5c9	coqPackages.QuickChick: New expression	2015-05-08 11:35:23 -05:00