diff options
| author | maralorn <mail@maralorn.de> | 2023-01-15 11:40:49 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-15 11:40:49 +0100 |
| commit | bfa0c4e83c1083192c6f150a67fae22077f6b498 (patch) | |
| tree | 7a7d4d41ff3ad78de0e23e15a2e03b34b2e41807 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | a9fe51f0916e76e8595c225334634b7d343b8441 (diff) | |
| parent | af3e04d3f646ae7d715d5c0689f1fcd85737a2ca (diff) | |
Merge pull request #210770 from sternenseemann/with-packages-prefer-local-build
ghc.withPackages: set preferLocalBuild in the correct place
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions