7 Commits

Author	SHA1	Message	Date
John Wiegley	89720d851a	coqPackages_8_7: New expression, but don't make it the default yet	2017-10-22 12:43:27 -07:00
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
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