diff options
| author | Fabián Heredia Montiel <303897+fabianhjr@users.noreply.github.com> | 2024-03-12 09:08:08 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-12 09:08:08 -0600 |
| commit | d7e7fc9008f15a735ce9b31709ccb407631cecfc (patch) | |
| tree | 39ff6f07c76ec856c6a40fc82be68fcf809ac7c6 /pkgs/development/python-modules/rangehttpserver | |
| parent | 6ec6896ff58b16aed465db3db9338c3ed85862a0 (diff) | |
| parent | a0a7314433259ec007fb3b4d5cff6427e1bac8d9 (diff) | |
Merge pull request #293813 from mattpolzin/propagate-idris2-libs
idris2Packages.buildIdris: propagate idris libraries
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions