diff options
| author | Wolfgang Meier <womeier@posteo.de> | 2025-07-01 12:10:26 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-01 12:10:26 +0200 |
| commit | f8bad9423226da5c6f9a4ae1ac3c3dea3e2dec4c (patch) | |
| tree | 26d92c29ca97b41c0726f144022ca57c9a387990 /pkgs/development/python-modules/rangehttpserver | |
| parent | 2b64afcfc48d335ba3bcc19c8e0029cadaaf78d9 (diff) | |
rocqPackages.parseque init at 0.3.0 (#420742)
* init rocqPackages.parseque at 0.3.0
* make coqPackages.parseque a wrapper for rocqPackages.parseque
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions