Jiri Slaby 8f1bbad643 Merge pull request 'Add support for generating of multiple versions of Python subpackages.' (#2) from mcepl/d-t-s-z3:factory into factory ...

Reviewed-on: #2

Perfect, thanks!

2026-03-13 06:14:20 +01:00

_constraints

add _constraints

2026-02-24 09:06:26 +01:00

.gitattributes

buildable

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

.gitignore

buildable

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

python-use-non-devel-so.patch

add python-use-non-devel-so.patch

2025-05-30 10:25:22 +02:00

python-z3-pyproject.toml

React to the reviewer’s comments.

2026-03-12 19:35:07 +01:00

python-z3-setup.py

Package Python bindings as versioned Python subpackages

2026-03-12 09:21:00 +01:00

z3-4.16.0.tar.gz

Package Python bindings as versioned Python subpackages

2026-03-12 09:21:00 +01:00

z3.changes

React to the reviewer’s comments.

2026-03-12 19:35:07 +01:00

z3.spec

React to the reviewer’s comments.

2026-03-12 19:35:07 +01:00

Description

No description provided

23 MiB

Languages

Python 100%