diff options
| author | Maxime Dénès <mail@maximedenes.fr> | 2017-10-23 08:53:32 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-10-23 22:40:29 +0200 |
| commit | 41df85dd1ba51abe225670ce39b2c7b30fb75da3 (patch) | |
| tree | e83e7076276be173ad8c6b791ceec5840a00fdfe /pkgs/development/python-modules/python-sql | |
| parent | 6a44365573ae1746c415d344c74cda24310f0984 (diff) | |
coqPackages.QuickChick: remove support for coq 8.7
coqPackages_8_7.QuickChick won't build since Coq 8.7.0 is not yet supported
upstream.
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions