diff options
| author | Pierre Roux <pierre.roux@onera.fr> | 2024-12-23 16:58:04 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2025-02-07 21:06:47 +0100 |
| commit | b34fef3268597e3f4b42364914cb6178569dbe5f (patch) | |
| tree | c8bdb273c7717e3006188e1d251147ccec888ad7 /pkgs/development/python-modules/rangehttpserver | |
| parent | 064a30473b2aa7cf3b9f0346bad5a5506a9a62b0 (diff) | |
coq: now a shim on top of rocq (starting with 9.0)
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions