diff options
| author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2024-04-30 17:06:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-30 17:06:09 +0200 |
| commit | 144871c638c370b336fcf743c1f8baafcbe8f6ef (patch) | |
| tree | 69653fa5f97a601bf2d4bd8e8d20a2e45d421f6d /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 7fd0e9b4456feebd79becd28aaa967343e49e74b (diff) | |
| parent | 0a379ae698e088e423432e06dcc0e3bf30185043 (diff) | |
Merge pull request #307816 from vbgl/coq-default-8.19
coq: default to version 8.19
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions