diff options
| author | sternenseemann <sternenseemann@systemli.org> | 2025-10-06 22:45:58 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-10-06 22:45:58 +0000 |
| commit | 714b0d3c51592f8d275271c7ac5bdb82cfc09fb6 (patch) | |
| tree | 296c5335f8179882305c5fadb560b20d80b1e339 /pkgs/development/python-modules/rangehttpserver | |
| parent | 3af3007b86fa43d8f604849c0b4ef38d8b93597e (diff) | |
| parent | 2053ef9822ad4bd4ebb1879ae72bc25943fb5b8e (diff) | |
agdaPackages.agda2hs-base: don't hard code agda2hs source name (#449131)
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions