diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-09-02 15:31:44 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-09-02 15:33:16 +0000 |
| commit | 9b9d3743cef353e7f3735519c5187bb00fd22ef7 (patch) | |
| tree | d3271887e23dde56a996dab574aea47723cb9a0e /pkgs/development/python-modules/httpserver | |
| parent | 2c301b1b48f7443a8346301162de24bfcb30dc1d (diff) | |
coqPackages.QuickChick: fix
Use the most recent versions of branches coq8.4pl6 and coq8.5-legacy
with the corresponding versions of Coq.
Use a two month old version with Coq-8.6 to avoid issue #45:
https://github.com/QuickChick/QuickChick/issues/45
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions