diff options
| author | Guillaume Girol <symphorien+git@xlumurb.eu> | 2024-12-31 12:00:00 +0000 |
|---|---|---|
| committer | Guillaume Girol <symphorien+git@xlumurb.eu> | 2025-01-18 19:41:43 +0100 |
| commit | 29288c8f16143b4b47cacdee87b34771d2650e19 (patch) | |
| tree | e7b4db4cb61ac4f5eebeefd7b24b78e7f66e48ed /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 5df43628fdf08d642be8ba5b3625a6c70731c19c (diff) | |
bitwuzla: actually build with cryptominisat support
can be tested with bitwuzla -S cms -j 3 file.smt2
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions