about summary refs log tree commit diff
path: root/pkgs/development/coq-modules/QuickChick
AgeCommit message (Expand)AuthorFilesLines
2019-08-28treewide: remove redundant recvolth1-2/+2
2019-08-26treewide: remove redundant quotesvolth1-1/+1
2019-06-06coqPackages.QuickChick: init at 1.1.0 for Coq 8.9Vincent Laporte1-12/+15
2019-03-18coqPackages.coq-simple-io: 0.2 -> 1.0.0Vincent Laporte1-3/+3
2019-02-01Revert "coq-modules: add default to fix eval"Vincent Laporte1-1/+1
2019-01-28coq-modules: add default to fix evalMatthew Bauer1-1/+1
2019-01-18coqPackages.QuickChick: init at 1.0.2 for Coq 8.8Vincent Laporte1-3/+16
2018-10-19coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.Théo Zimmermann1-1/+1
2018-09-08treewide: Use http/https for homepagesJanne Heß1-1/+1
2018-03-21coq: init at 8.8+beta1Vincent Laporte1-4/+8
2018-03-06coqPackages.QuickChick: use fetchFromGitHubJohn Wiegley1-3/+4
2017-12-12coqPackages_8_7.QuickChick: update to latest masterJohn Wiegley1-3/+3
2017-12-02coqPackages_8_4.QuickChick: removeVincent Laporte1-6/+0
2017-11-12coqPackages.QuickChick: Update build for Coq 8.6 and 8.7John Wiegley1-6/+14
2017-10-23coqPackages.QuickChick: remove support for coq 8.7Maxime Dénès1-5/+0
2017-10-22coqPackages_8_7: New expression, but don't make it the default yetJohn Wiegley1-0/+6
2017-09-02coqPackages.QuickChick: fixVincent Laporte1-8/+26
2017-07-10coqPackages.QuickChick: 20170422 -> 20170710John Wiegley1-3/+3
2017-04-23coq.QuickChick: Update to latest version that works with Coq 8.6John Wiegley1-3/+3
2016-06-03Fix lots of fetchgit hashes (fallout from #15469)Tuomas Tynkkynen1-1/+1
2015-08-18coq-QuickChick: 21f50a02 -> 20150605Vincent Laporte1-5/+7
2015-05-08coqPackages.QuickChick: New expressionJohn Wiegley1-0/+28
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-07 13:46:09 +0000