aboutsummaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/QuickChick (follow)
Commit message (Expand)AuthorAgeFilesLines
* coqPackages.QuickChick: 1.3.1 → 1.3.2, 1.4.0Vincent Laporte2020-08-191-2/+8
* coqPackages.QuickChick: 1.2.0 → 1.2.1, 1.3.1Vincent Laporte2020-07-051-8/+20
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-101-1/+1
* coqPackages_8_10.QuickChick: init at 1.2.0Vincent Laporte2020-03-061-0/+6
* treewide: remove redundant recvolth2019-08-281-2/+2
* treewide: remove redundant quotesvolth2019-08-261-1/+1
* coqPackages.QuickChick: init at 1.1.0 for Coq 8.9Vincent Laporte2019-06-061-12/+15
* coqPackages.coq-simple-io: 0.2 -> 1.0.0Vincent Laporte2019-03-181-3/+3
* Revert "coq-modules: add default to fix eval"Vincent Laporte2019-02-011-1/+1
* coq-modules: add default to fix evalMatthew Bauer2019-01-281-1/+1
* coqPackages.QuickChick: init at 1.0.2 for Coq 8.8Vincent Laporte2019-01-181-3/+16
* coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.Théo Zimmermann2018-10-191-1/+1
* treewide: Use http/https for homepagesJanne Heß2018-09-081-1/+1
* coq: init at 8.8+beta1Vincent Laporte2018-03-211-4/+8
* coqPackages.QuickChick: use fetchFromGitHubJohn Wiegley2018-03-061-3/+4
* coqPackages_8_7.QuickChick: update to latest masterJohn Wiegley2017-12-121-3/+3
* coqPackages_8_4.QuickChick: removeVincent Laporte2017-12-021-6/+0
* coqPackages.QuickChick: Update build for Coq 8.6 and 8.7John Wiegley2017-11-121-6/+14
* coqPackages.QuickChick: remove support for coq 8.7Maxime Dénès2017-10-231-5/+0
* coqPackages_8_7: New expression, but don't make it the default yetJohn Wiegley2017-10-221-0/+6
* coqPackages.QuickChick: fixVincent Laporte2017-09-021-8/+26
* coqPackages.QuickChick: 20170422 -> 20170710John Wiegley2017-07-101-3/+3
* coq.QuickChick: Update to latest version that works with Coq 8.6John Wiegley2017-04-231-3/+3
* Fix lots of fetchgit hashes (fallout from #15469)Tuomas Tynkkynen2016-06-031-1/+1
* coq-QuickChick: 21f50a02 -> 20150605Vincent Laporte2015-08-181-5/+7
* coqPackages.QuickChick: New expressionJohn Wiegley2015-05-081-0/+28
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-29 15:09:49 +0000