diff options
| author | John Wiegley <johnw@newartisans.com> | 2017-11-12 09:17:48 -0800 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2017-11-12 09:17:48 -0800 |
| commit | dcab51c6f41f74e68e0aa5e2c5e86dd6f8d1fa8d (patch) | |
| tree | edea4a1f7c376b9658c8a2927d1d1c6e97f44ac5 /pkgs/development/python-modules/httpserver | |
| parent | f1fc74359f815010b4b3055b3a6062af9398e406 (diff) | |
coqPackages.QuickChick: Update build for Coq 8.6 and 8.7
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions