diff options
| author | Naïm Camille Favier <n@monade.li> | 2025-10-28 18:36:04 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-10-28 18:36:04 +0000 |
| commit | d1983f34ae047e6137bb8125c585d4364efdd99c (patch) | |
| tree | 753df971a4ad4f9ba1f0211a55c7ad81a4b0a675 /pkgs/development/python-modules/rangehttpserver | |
| parent | d766fcf75ff41d4c0876b60fc391f843bccc9621 (diff) | |
| parent | 55ac814fa917268b18cb19581d4c75dc4d023a52 (diff) | |
agda: parameterize agda infrastructure by Agda executable name (#452961)
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions