Skip to content

community/z3: make py3-z3 depend on z3-dev

Patrycja Rosa requested to merge ptrcnull/aports:z3-py-dev into master

the python wrapper looks for an unversioned libz3.so

closes #16856 (closed)

Merge request reports