diff options
| author | Kenji Maillard <kenji@maillard.blue> | 2022-09-20 14:41:04 +0200 |
|---|---|---|
| committer | Kenji Maillard <kenji@maillard.blue> | 2022-09-22 16:00:43 +0200 |
| commit | 0ba507689d6d614ba79c2562dbaa21b19f4626b0 (patch) | |
| tree | ed03e441ddb1d9fcb76e1d34160d446921923808 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | e655b28179e282973e3968fdc46be231713d63b7 (diff) | |
fix dev metacoq builds for coq >= 8.16
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions