summary refs log tree commit diff
path: root/pkgs/development/coq-modules/QuickChick
Commit message (Expand)AuthorAge
* 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-07-25 08:58:43 +0000