|
|
1bf94920ca
|
Accepting request 1281304 from devel:tools:statica
- add python-use-non-devel-so.patch (bsc#1243028)
- update to 4.15.0
* see: https://github.com/Z3Prover/z3/releases/tag/z3-4.15.0
OBS-URL: https://build.opensuse.org/request/show/1281304
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/z3?expand=0&rev=44
|
2025-05-30 12:39:44 +00:00 |
|
