diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-12-03 15:14:33 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-01-18 14:53:15 +0000 |
| commit | 63383a6db29cca6e65aaddfb77eb0376c63b98de (patch) | |
| tree | 18fe1879aedd13d3cd4989abd383c91fa62a439b /pkgs/development/python-modules/python-gitlab | |
| parent | 14474a449b946274142b9404e0b4146f1a24068b (diff) | |
coqPackages.QuickChick: init at 1.0.2 for Coq 8.8
Diffstat (limited to 'pkgs/development/python-modules/python-gitlab')
0 files changed, 0 insertions, 0 deletions