RPM OpenSuSE python3-z3 4.12.1 noarch rpm

python3-z3 rpm build for : OpenSuSE. For other distributions click python3-z3.

Name : python3-z3
Version : 4.12.1	Vendor : openSUSE
Release : bp155.1.6	Date : 2023-05-22 12:59:21
Group : Development/Languages/Python	Source RPM : z3-4.12.1-bp155.1.6.src.rpm
Size : 0.59 MB
Packager : https://bugs_opensuse_org
Summary : Python bindings for Z3
Description : Python bindings for the Z3 library.
RPM found in directory: /vol/rzm3/linux-opensuse/distribution/leap/15.5/repo/oss/noarch

Download
ftp.icm.edu.pl python3-z3-4.12.1-bp155.1.6.noarch.rpm

ftp.icm.edu.pl python3-z3-4.12.1-bp155.1.6.noarch.rpm

Provides :
python3-z3

Requires :

libz3-4_12 = 4.12.1

python(abi) = 3.6

rpmlib(CompressedFileNames) <= 3.0.4-1

rpmlib(FileDigests) <= 4.6.0-1

rpmlib(PayloadFilesHavePrefix) <= 4.0-1

rpmlib(PayloadIsXz) <= 5.2-1

Content of RPM :
/usr/lib/python3.6/site-packages/z3
/usr/lib/python3.6/site-packages/z3/__init__.py
/usr/lib/python3.6/site-packages/z3/z3.py
/usr/lib/python3.6/site-packages/z3/z3consts.py
/usr/lib/python3.6/site-packages/z3/z3core.py
/usr/lib/python3.6/site-packages/z3/z3num.py
/usr/lib/python3.6/site-packages/z3/z3poly.py
/usr/lib/python3.6/site-packages/z3/z3printer.py
/usr/lib/python3.6/site-packages/z3/z3rcf.py
/usr/lib/python3.6/site-packages/z3/z3test.py
/usr/lib/python3.6/site-packages/z3/z3types.py
/usr/lib/python3.6/site-packages/z3/z3util.py