Commit message (Expand) | Author | Age | |
---|---|---|---|
* | coq: init at 8.8+beta1 | Vincent Laporte | 2018-03-21 |
* | coqPackages.QuickChick: use fetchFromGitHub | John Wiegley | 2018-03-06 |
* | coqPackages_8_7.QuickChick: update to latest master | John Wiegley | 2017-12-12 |
* | coqPackages_8_4.QuickChick: remove | Vincent Laporte | 2017-12-02 |
* | coqPackages.QuickChick: Update build for Coq 8.6 and 8.7 | John Wiegley | 2017-11-12 |
* | coqPackages.QuickChick: remove support for coq 8.7 | Maxime Dénès | 2017-10-23 |
* | coqPackages_8_7: New expression, but don't make it the default yet | John Wiegley | 2017-10-22 |
* | coqPackages.QuickChick: fix | Vincent Laporte | 2017-09-02 |
* | coqPackages.QuickChick: 20170422 -> 20170710 | John Wiegley | 2017-07-10 |
* | coq.QuickChick: Update to latest version that works with Coq 8.6 | John Wiegley | 2017-04-23 |
* | Fix lots of fetchgit hashes (fallout from #15469) | Tuomas Tynkkynen | 2016-06-03 |
* | coq-QuickChick: 21f50a02 -> 20150605 | Vincent Laporte | 2015-08-18 |
* | coqPackages.QuickChick: New expression | John Wiegley | 2015-05-08 |