diff options
| author | Pierre Roux <pierre.roux@onera.fr> | 2025-02-14 10:10:52 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2025-02-14 14:21:56 +0100 |
| commit | c407726f4fbbe6a6c88a78a532ecb47fd9f10e88 (patch) | |
| tree | 287e9caaebde68ee660056c9a8ee1acd2a88a3d2 /pkgs/development/python-modules/rangehttpserver | |
| parent | e18836ceaacff852d0761a9aabb49d2932f6801b (diff) | |
coqPackages.mathcomp: remove Stdlib dependency
Adapting to https://github.com/math-comp/math-comp/pull/1343
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions