about summary refs log tree commit diff
path: root/pkgs/development/coq-modules/QuickChick
AgeCommit message (Expand)AuthorFilesLines
2022-02-25coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...Ulrik Strid1-2/+2
2021-08-02QuickChick: formatSandro Jäckel1-8/+8
2021-07-30coqPackages.QuickChick: add optional version parameterThéo Zimmermann1-1/+2
2021-04-24coqPackages_8_13.QuickChick: init at 1.5.0Vincent Laporte1-0/+2
2021-01-09coqPackages: refactorCyril Cohen1-85/+35
2020-08-19coqPackages.QuickChick: 1.3.1 → 1.3.2, 1.4.0Vincent Laporte1-2/+8
2020-07-05coqPackages.QuickChick: 1.2.0 → 1.2.1, 1.3.1Vincent Laporte1-8/+20
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2020-03-06coqPackages_8_10.QuickChick: init at 1.2.0Vincent Laporte1-0/+6
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-08 11:23:05 +0000