diff options
| author | Mario Rodas <marsam@users.noreply.github.com> | 2022-10-28 20:32:44 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-28 20:32:44 -0500 |
| commit | 0b9c25d012118b70f8197eaff75f42ad3f5aeb68 (patch) | |
| tree | f10af8ec76773d425188731cb15883012329ef6b /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 6d1529fb46d5a63feb1192b929ba39dfa0838695 (diff) | |
| parent | 4f4a4eae8c73e3686449e63a48b89912473adccf (diff) | |
Merge pull request #198288 from ehamberg/idris2-0.6.0
idris2: 0.5.1 -> 0.6.0
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions