summary refs log tree commit diff
path: root/pkgs/development/coq-modules/QuickChick/default.nix
Commit message (Expand)AuthorAge
* coqPackages.QuickChick: 1.6.4 → 1.6.5Vincent Laporte2023-06-08
* coqPackages.QuickChick: 1.6.2 → 1.6.4Vincent Laporte2022-09-20
* coqPackages.mathcomp: disable for Coq ≥ 8.16Vincent Laporte2022-06-13
* coqPackages: etcCyril Cohen2022-05-25
* Revert "coqPackages: etc"Vincent Laporte2022-05-13
* coqPackages: etcCyril Cohen2022-05-12
* coqPackages.QuickChick: 1.5.0 → 1.6.2Vincent Laporte2022-05-07
* coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...Ulrik Strid2022-02-25
* QuickChick: formatSandro Jäckel2021-08-02
* coqPackages.QuickChick: add optional version parameterThéo Zimmermann2021-07-30
* coqPackages_8_13.QuickChick: init at 1.5.0Vincent Laporte2021-04-24
* coqPackages: refactorCyril Cohen2021-01-09
* coqPackages.QuickChick: 1.3.1 → 1.3.2, 1.4.0Vincent Laporte2020-08-19
* coqPackages.QuickChick: 1.2.0 → 1.2.1, 1.3.1Vincent Laporte2020-07-05
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* coqPackages_8_10.QuickChick: init at 1.2.0Vincent Laporte2020-03-06
* 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-04-29 08:04:22 +0000