diff options
| author | Mathew Polzin <matt.polzin@gmail.com> | 2024-01-23 23:05:29 -0600 |
|---|---|---|
| committer | Mathew Polzin <matt.polzin@gmail.com> | 2024-01-23 23:05:29 -0600 |
| commit | 5fe69cb9cfd7006023194473392961c35e1dd2fb (patch) | |
| tree | 954733468043898213f0ca3e8fe4717052d3c1ce /pkgs/development/python-modules/rangehttpserver | |
| parent | e5f115b0d44039f10dde3bb855d40bf9668fa618 (diff) | |
idris2Packages.buildIdris: better packaging ergonomics, better executable support
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions