diff options
| author | Fabián Heredia Montiel <fabianhjr@protonmail.com> | 2021-07-15 17:26:30 -0500 |
|---|---|---|
| committer | Fabián Heredia Montiel <fabianhjr@protonmail.com> | 2021-07-15 21:50:33 -0500 |
| commit | 37d73021ee8324e868dbd8c67d1b8ced969fc161 (patch) | |
| tree | ba43841343c9b6fc2321c08f53bbd8380cd2a783 /pkgs/development/python-modules/rangehttpserver | |
| parent | 0c98c6bbc43daa8af7554a3efe1983c0c096d979 (diff) | |
idris2: fix packagePaths issue
packagePaths changed between idris2 `v0.3.0` and `v0.4.0` and now
includes a version number in the path.
Fixes nixos/nixpkgs#130310
Co-authored-by: zseri <zseri.devel@ytrizja.de>
Co-authored-by: Mario Rodas <marsam@users.noreply.github.com>
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions