diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2022-05-07 07:29:33 +0200 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2022-05-07 07:29:33 +0200 |
| commit | f393892bb369a73ff655d7336369d43fd45f06ff (patch) | |
| tree | 3ef1bff4bd233e0073d4d819e443856e7e3e65b7 /pkgs/development/python-modules/rangehttpserver | |
| parent | e9d3fe8f289627ed3f224339241d7317675effc2 (diff) | |
coqPackages.smtcoq: disable for Coq > 8.13
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions