3 commits

Author	SHA1	Message	Date
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