diff options
| author | Mario Rodas <marsam@users.noreply.github.com> | 2024-02-29 20:49:17 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-29 20:49:17 -0500 |
| commit | 7767a0f22d7d91c2433736d34eb64c9712e9e4f0 (patch) | |
| tree | 511bad8dec3cc8eae34dbba886cfb3b5c040c753 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 2f2208aca6f74f3a8894bbb0f080d9b221768ac3 (diff) | |
| parent | 468b7bae7f25c576df8359027ae5db0b8e6a7648 (diff) | |
Merge pull request #292202 from marsam/update-lean4
lean4: 4.5.0 -> 4.6.0
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions