diff options
| author | Mathew Polzin <matt.polzin@gmail.com> | 2024-03-04 10:45:28 -0600 |
|---|---|---|
| committer | Mathew Polzin <matt.polzin@gmail.com> | 2024-03-06 10:00:23 -0600 |
| commit | a0a7314433259ec007fb3b4d5cff6427e1bac8d9 (patch) | |
| tree | 6087d7986d85f83f7e1cba5c2da4341f9b98e660 /pkgs/development/python-modules/rangehttpserver | |
| parent | 890cbff571e847971e71cca1808a6814b8adeee7 (diff) | |
idris2Packages.buildIdris: propagate idris libraries
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions
