diff options
| author | Naïm Favier <n@monade.li> | 2024-03-18 17:30:52 +0100 |
|---|---|---|
| committer | Naïm Favier <n@monade.li> | 2024-03-18 17:30:52 +0100 |
| commit | f0bced1070836489cf118c553ac8f2e7cb290464 (patch) | |
| tree | 51ee9799759460554abb7fd0574d8b6b44e9269e /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | c71f355699c070e6e2d13ca3dce9f2445e01cda3 (diff) | |
agdaPackages.agda-categories: remove heap size increase
The maximum heap size was removed in Agda 2.6.4.2
https://github.com/agda/agda/issues/7070
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions
