summary refs log tree commit diff
path: root/pkgs/development/coq-modules/QuickChick
Commit message (Expand)AuthorAge
* treewide: remove redundant recvolth2019-08-28
* treewide: remove redundant quotesvolth2019-08-26
* coqPackages.QuickChick: init at 1.1.0 for Coq 8.9Vincent Laporte2019-06-06
* coqPackages.coq-simple-io: 0.2 -> 1.0.0Vincent Laporte2019-03-18
* Revert "coq-modules: add default to fix eval"Vincent Laporte2019-02-01
* coq-modules: add default to fix evalMatthew Bauer2019-01-28
* coqPackages.QuickChick: init at 1.0.2 for Coq 8.8Vincent Laporte2019-01-18
* coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.Théo Zimmermann2018-10-19
* treewide: Use http/https for homepagesJanne Heß2018-09-08
* coq: init at 8.8+beta1Vincent Laporte2018-03-21
* coqPackages.QuickChick: use fetchFromGitHubJohn Wiegley2018-03-06
* coqPackages_8_7.QuickChick: update to latest masterJohn Wiegley2017-12-12
* coqPackages_8_4.QuickChick: removeVincent Laporte2017-12-02
* coqPackages.QuickChick: Update build for Coq 8.6 and 8.7John Wiegley2017-11-12
* coqPackages.QuickChick: remove support for coq 8.7Maxime Dénès2017-10-23
* coqPackages_8_7: New expression, but don't make it the default yetJohn Wiegley2017-10-22
* coqPackages.QuickChick: fixVincent Laporte2017-09-02
* coqPackages.QuickChick: 20170422 -> 20170710John Wiegley2017-07-10
* coq.QuickChick: Update to latest version that works with Coq 8.6John Wiegley2017-04-23
* Fix lots of fetchgit hashes (fallout from #15469)Tuomas Tynkkynen2016-06-03
* coq-QuickChick: 21f50a02 -> 20150605Vincent Laporte2015-08-18
* coqPackages.QuickChick: New expressionJohn Wiegley2015-05-08
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-06 21:41:44 +0000