diff options
| author | Pierre Roux <pierre.roux@onera.fr> | 2024-12-22 18:00:29 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2025-01-18 17:08:01 +0100 |
| commit | b1d65bff40e3d3fa62a836f4cba2a08365a78d44 (patch) | |
| tree | 3afb994e970910a76bfd81829e9f297ab50b1b26 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 4854bedee5f53cb673ebf99a6d5641fb327c6bd3 (diff) | |
Add missing mlPlugin
They now seem necessary with Coq master (future Rocq 9.0),
maybe linked to the now mandatory use of ocamlfind to load plugins.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions