diff options
| author | Pierre Roux <pierre.roux@onera.fr> | 2024-12-13 17:30:45 +0100 |
|---|---|---|
| committer | Pierre Roux <pierre.roux@onera.fr> | 2024-12-13 17:30:45 +0100 |
| commit | ea27f40ced90be742a1247e0e8ec30b90135860d (patch) | |
| tree | af5f645e03f2057534c95ea7feaaf81257f6331f /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 77f2b0312b7302c3fe515a320412f14a46bc0483 (diff) | |
coqPackages.coq-elpi: support master
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions