diff options
| author | Wolfgang Walther <walther@technowledgy.de> | 2025-06-11 18:39:02 +0200 |
|---|---|---|
| committer | Wolfgang Walther <walther@technowledgy.de> | 2025-06-12 13:10:36 +0200 |
| commit | 9404d8d57e4257af1923c909fc9f9d5ea39d3583 (patch) | |
| tree | d3e19cbb330e9d5558311d2aab6534dfeac52fa5 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 6bf506ee2c7ce6bc0b960e9108329f8f763761b3 (diff) | |
elmPackages.elm-coverage: drop
This allows dropping elmi-to-json, which in turn allows dropping GHC
8.10.7. Along with elmi-to-json, we can remove the patchBinwrap utility,
which was only used for that purpose.
Along with elm-coverage, we can also drop elm-instrument, which was only
used as a dependency of the former, and it's reverse dependency indents.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions