Dominique Leuenberger 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

_scmsync.obsinfo

Accepting request 1281304 from devel:tools:statica

2025-05-30 12:39:44 +00:00

.gitattributes

buildable

2015-10-12 15:14:23 +00:00

.gitignore

buildable

2015-10-12 15:14:23 +00:00

build.specials.obscpio

Accepting request 1281304 from devel:tools:statica

2025-05-30 12:39:44 +00:00

python-use-non-devel-so.patch

Accepting request 1281304 from devel:tools:statica

2025-05-30 12:39:44 +00:00

z3-4.15.0.tar.gz

Accepting request 1281304 from devel:tools:statica

2025-05-30 12:39:44 +00:00

z3.changes

Accepting request 1281304 from devel:tools:statica

2025-05-30 12:39:44 +00:00

z3.spec

Accepting request 1281304 from devel:tools:statica

2025-05-30 12:39:44 +00:00

Description

No description provided

12 MiB

Languages

Diff 100%