diff options
| author | Naïm Favier <n@monade.li> | 2024-08-21 21:53:53 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-08-21 21:53:53 +0200 |
| commit | 540ee946dfc1579e8121bfa2f69d761d791dbd3b (patch) | |
| tree | dee091e578f31fd9b1915fcf01349de10ce8be0e /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | b7167ce37e81e743fb7441dba15a355c59d54c5e (diff) | |
| parent | bf1bd6d4e737a07e89911ba6d52e168cb0f279cd (diff) | |
Merge pull request #336351 from iblech/patch-agda-stdlib-2.1.1rc2
Unbreak Agda's standard library by bumping to 2.1.1-rc2
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions