RPM OpenSuSE python3-z3 4.8.7+git.20200407 x86

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

Name : python3-z3
Version : 4.8.7+git.20200407	Vendor : openSUSE
Release : lp152.1.2	Date : 2020-05-16 17:10:28
Group : Development/Languages/Python	Source RPM : z3-4.8.7+git.20200407-lp152.1.2.src.rpm
Size : 0.55 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.2/repo/oss/x86_64

Download
ftp.icm.edu.pl python3-z3-4.8.7+git.20200407-lp152.1.2.x86_64.rpm

Provides :
python3-z3
python3-z3(x86-64)

Requires :

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

z3 = 4.8.7+git.20200407

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