diff options
| author | Théo Zimmermann <theo.zimmermann@inria.fr> | 2021-07-30 17:00:15 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@inria.fr> | 2021-07-30 17:00:15 +0200 |
| commit | b8315c660b0973ce4d036cb5ce1a2bf419bf5463 (patch) | |
| tree | 5dc97b845178e3a535a7e2b625b3795231932d06 /pkgs/development/python-modules/pytest-httpserver | |
| parent | 44b0d80303d55c38210785a474e92a7e01e133c3 (diff) | |
coqPackages.QuickChick: add optional version parameter
This is the only package in coqPackages for which it was forgotten.
Diffstat (limited to 'pkgs/development/python-modules/pytest-httpserver')
0 files changed, 0 insertions, 0 deletions