Vincent Laporte
6845b248d9
coq: init at 8.8+beta1
2018-03-21 18:06:28 +00:00
John Wiegley
9186aa1bf8
coqPackages.QuickChick: use fetchFromGitHub
2018-03-06 07:46:51 -08:00
John Wiegley
dc6f3e3c7b
coqPackages_8_7.QuickChick: update to latest master
2017-12-12 11:37:17 -08:00
Vincent Laporte
f307634f9d
coqPackages_8_4.QuickChick: remove
2017-12-02 08:51:02 +00:00
John Wiegley
dcab51c6f4
coqPackages.QuickChick: Update build for Coq 8.6 and 8.7
2017-11-12 09:17:48 -08:00
Maxime Dénès
41df85dd1b
coqPackages.QuickChick: remove support for coq 8.7
...
coqPackages_8_7.QuickChick won't build since Coq 8.7.0 is not yet supported
upstream.
2017-10-23 22:40:29 +02:00
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
