diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2022-05-07 07:29:49 +0200 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2022-05-07 07:29:49 +0200 |
| commit | a7241ea207b603f3d3515b45600c3747c71bc39c (patch) | |
| tree | 1ab55ee8e4cc31286b7caa51c770ac5554d0c86c /pkgs/development/python-modules/rangehttpserver | |
| parent | 38dc75293de6fab9620a736962f0177bc049af8c (diff) | |
coq: default to 8.15
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions