diff options
| author | John Wiegley <jwiegley@gmail.com> | 2017-10-26 10:18:53 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-26 10:18:53 -0700 |
| commit | 79aa720020edf67f5df675910fe997245b73fdbf (patch) | |
| tree | a6f38f14b342baea48c11031961a83a957c85428 /pkgs/development/python-modules/python-sql | |
| parent | daf53c9a102e695d9ca0c2b48b231e8f2517264b (diff) | |
| parent | 41df85dd1ba51abe225670ce39b2c7b30fb75da3 (diff) | |
Merge pull request #30708 from maximedenes/fix-quickchick
coqPackages.QuickChick: remove support for coq 8.7
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions