diff options
| author | Fabián Heredia Montiel <303897+fabianhjr@users.noreply.github.com> | 2024-06-25 00:52:06 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-06-25 00:52:06 -0600 |
| commit | 3ff3888250282c7ea01938972435b4ab6033f5d7 (patch) | |
| tree | a623123d47d6d39b654c048f5661f6016a29384f /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | ddbfbc80bbeaca549ed2404f3c04ed9808a0b540 (diff) | |
| parent | 77a37cde203873ac8be0ee8cfdb6770e5dfd3ecf (diff) | |
Merge pull request #322006 from mattpolzin/buildIdris-better-lib-ergonomics
idris2Packages.buildIdris: better lib ergonomics
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions