diff options
| author | Morgan Jones <me@numin.it> | 2024-07-14 00:58:10 -0700 |
|---|---|---|
| committer | Morgan Jones <me@numin.it> | 2025-01-11 17:43:58 -0800 |
| commit | 5a15eeca82b9c33772380699b4d4e50203783bde (patch) | |
| tree | b6014b614272b5a804ba739f5e10bc109541f656 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 2cb20cbfc26056e46a86bc72742c4d63332a7834 (diff) | |
z3: add numinit as maintainer
I also maintain KLEE and STP, and use z3.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions