summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/QuickChick
AgeCommit message (Expand)Author
2025-12-10treewide: clean up 'meta = with' patternIhar Hrachyshka
2025-10-28coqPackages.QuickChick: 2.0.4 -> 2.1.1George Miao
2025-07-24treewide: run nixfmt 1.0.0Wolfgang Walther
2025-07-09coqPackages.*: 9.0 -> 9.1Pierre Roux
2025-05-05Refine dependencies from mathcomp-ssreflect to mathcomp-bootPierre Roux
2025-01-26coq_9_0: init at 9.0+rc1Pierre Roux
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-11-07coqPackages.ExtLib: 0.12.1 → 0.12.2Vincent Laporte
2024-09-23coqPackages.QuickChick: 2.0.2 → 2.0.4Vincent Laporte
2024-08-18coqPackages.QuickChick: remove with statementsPhilip Taron
2024-07-23coqPackages: Enable override with dev branches (#329356)Pierre Roux
2024-01-26coqPackages_8_19.QuickChickPierre Roux
2024-01-18coqPackages.QuickChick: 2.0.1 → 2.0.2Vincent Laporte
2023-12-13coqPackages.QuickChick: 1.6.5 → 2.0.1Vincent Laporte
2023-06-08coqPackages.QuickChick: 1.6.4 → 1.6.5Vincent Laporte
2022-09-20coqPackages.QuickChick: 1.6.2 → 1.6.4Vincent Laporte
2022-06-13coqPackages.mathcomp: disable for Coq ≥ 8.16Vincent Laporte
2022-05-25coqPackages: etcCyril Cohen
2022-05-13Revert "coqPackages: etc"Vincent Laporte
2022-05-12coqPackages: etcCyril Cohen
2022-05-07coqPackages.QuickChick: 1.5.0 → 1.6.2Vincent Laporte
2022-02-25coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...Ulrik Strid
2021-08-02QuickChick: formatSandro Jäckel
2021-07-30coqPackages.QuickChick: add optional version parameterThéo Zimmermann
2021-04-24coqPackages_8_13.QuickChick: init at 1.5.0Vincent Laporte
2021-01-09coqPackages: refactorCyril Cohen
2020-08-19coqPackages.QuickChick: 1.3.1 → 1.3.2, 1.4.0Vincent Laporte
2020-07-05coqPackages.QuickChick: 1.2.0 → 1.2.1, 1.3.1Vincent Laporte
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly
2020-03-06coqPackages_8_10.QuickChick: init at 1.2.0Vincent Laporte
2019-08-28treewide: remove redundant recvolth
2019-08-26treewide: remove redundant quotesvolth
2019-06-06coqPackages.QuickChick: init at 1.1.0 for Coq 8.9Vincent Laporte
2019-03-18coqPackages.coq-simple-io: 0.2 -> 1.0.0Vincent Laporte
2019-02-01Revert "coq-modules: add default to fix eval"Vincent Laporte
2019-01-28coq-modules: add default to fix evalMatthew Bauer
2019-01-18coqPackages.QuickChick: init at 1.0.2 for Coq 8.8Vincent Laporte
2018-10-19coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.Théo Zimmermann
2018-09-08treewide: Use http/https for homepagesJanne Heß
2018-03-21coq: init at 8.8+beta1Vincent Laporte
2018-03-06coqPackages.QuickChick: use fetchFromGitHubJohn Wiegley
2017-12-12coqPackages_8_7.QuickChick: update to latest masterJohn Wiegley
2017-12-02coqPackages_8_4.QuickChick: removeVincent Laporte
2017-11-12coqPackages.QuickChick: Update build for Coq 8.6 and 8.7John Wiegley
2017-10-23coqPackages.QuickChick: remove support for coq 8.7Maxime Dénès
2017-10-22coqPackages_8_7: New expression, but don't make it the default yetJohn Wiegley
2017-09-02coqPackages.QuickChick: fixVincent Laporte
2017-07-10coqPackages.QuickChick: 20170422 -> 20170710John Wiegley
2017-04-23coq.QuickChick: Update to latest version that works with Coq 8.6John Wiegley
2016-06-03Fix lots of fetchgit hashes (fallout from #15469)Tuomas Tynkkynen
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-22 20:48:30 +0000