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 : bp153.1.13	Date : 2021-03-06 04:01:18
Group : Development/Languages/Python	Source RPM : z3-4.8.7+git.20200407-bp153.1.13.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: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/Backports:/SLE-15-SP3/standard/x86_64

Download
ftp.icm.edu.pl python3-z3-4.8.7+git.20200407-bp153.1.13.x86_64.rpm

ftp.icm.edu.pl python3-z3-4.8.7+git.20200407-bp153.1.13.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