diff options
| author | sternenseemann <sternenseemann@systemli.org> | 2022-03-27 00:12:31 +0100 |
|---|---|---|
| committer | sternenseemann <sternenseemann@systemli.org> | 2022-03-27 01:00:34 +0100 |
| commit | f9268040166a01420d396cff7c5fb8b5113a202b (patch) | |
| tree | ca363d8236cb34768ee04c3afd2c17c920467ba3 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 671fd5da513d2a88fde2d7d8e51697e80e421c7c (diff) | |
haskellPackages.sbv: provide new solvers for version 8.17
* Newly added are bitwuzla and cvc5 (unpackaged at the moment)
* Refactor sed expression disabling solves we don't provide in the test
suite.
* Stop conditionally disabling z3 solver on aarch64, seems there is no
reason for it anymore.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions