Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |