diff options
| author | ibbem <ibbem@ibbem.net> | 2024-02-26 09:13:28 +0100 |
|---|---|---|
| committer | ibbem <ibbem@ibbem.net> | 2024-03-18 23:10:27 +0100 |
| commit | 16426544536ddbe939e28b08d0b638ae78667dc6 (patch) | |
| tree | 3b1aec42ba4a43d580d8b482476eb27e774f8b88 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 10c80b993425f377c86c2bb36da9f10b79de6fe2 (diff) | |
agda: Remove the --local-interfaces flag
Upstream now provides a library file for the builtin library and ensured
that the existing interface files will be used regardless of whether
--local-interfaces is in effect. Hence, Agda will not try to write to
the Nix store anymore except if the build flags are changed.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions