diff options
| author | Mathew Polzin <matt.polzin@gmail.com> | 2025-01-22 10:14:39 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-22 10:14:39 -0600 |
| commit | 1eb4ffeb439151d1063b81e9dc4b31e67659a8c1 (patch) | |
| tree | 2b50547e97216468df935e207b9c94f85c0293a3 /pkgs/development/python-modules/rangehttpserver | |
| parent | 5c0811fc06d046b0c807d89737292bece778cae7 (diff) | |
| parent | 8079c8bd6dcdf9306be4a98b7bb452d5f63b84b2 (diff) | |
idris2Packages.buildIdris: add retroactive support for building a whole dependency tree with source (#351520)
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions