diff options
| author | Morgan Jones <me@numin.it> | 2025-03-16 21:36:26 -0700 |
|---|---|---|
| committer | Morgan Jones <me@numin.it> | 2025-03-18 23:45:58 -0700 |
| commit | 60d98a51638fef1419a0df7a5e2728925dc32d28 (patch) | |
| tree | 5b60bf14b9454f56683e6200d555f28383ae5673 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 49413d86805164213f28acee6103da33e853217e (diff) | |
z3_4_14: init at 4.14.1
Don't change the default version of z3 just yet:
https://github.com/NixOS/nixpkgs/pull/390569#issuecomment-2728272563
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions