diff options
| author | Naïm Favier <n@monade.li> | 2024-08-20 11:01:53 +0200 |
|---|---|---|
| committer | Naïm Favier <n@monade.li> | 2024-08-20 11:01:53 +0200 |
| commit | 291255600b608b470f6f6e2fd966bf5126b090ed (patch) | |
| tree | d22fdb9d14217f02883d4478eb9db118f207149d /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 7a56b67a10d8697683715fa0f134b4f3afb634d7 (diff) | |
agdaPackages._1lab: unstable-2024-03-07 -> unstable-2024-08-05
Updates to a version compatible with Agda 2.7.0.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions
