diff options
| author | John Wiegley <johnw@newartisans.com> | 2017-04-23 21:53:00 -0700 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2017-04-23 21:53:21 -0700 |
| commit | 2df7f1b5b5ad5c1a4805f6d756ede50e0930e9eb (patch) | |
| tree | 6eceed39e4be93815d2a0669704af9a14a4f3de7 /pkgs/development/python-modules/httpserver | |
| parent | 7025fc6d06dec04ca047ff46a18b92a79c6031f0 (diff) | |
coq.QuickChick: Update to latest version that works with Coq 8.6
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions