diff options
| author | sternenseemann <sternenseemann@systemli.org> | 2025-10-06 15:01:59 +0200 |
|---|---|---|
| committer | sternenseemann <sternenseemann@systemli.org> | 2025-10-06 15:03:04 +0200 |
| commit | 2053ef9822ad4bd4ebb1879ae72bc25943fb5b8e (patch) | |
| tree | f99c3b2c70f3db3d6d627f69e3937761ebc0cf67 /pkgs/development/python-modules/rangehttpserver | |
| parent | 34d43f044e381daa6e9dcd4129d21f4806a1717f (diff) | |
agdaPackages.agda2hs-base: don't hard code agda2hs source name
fetchFromGitHub always results in "source" as sourceRoot, but this is
not true when e.g. using the Hackage tarball.
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions