RPM OpenSuSE python-z3 4.5.0+git.20170523 x86

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

Name : python-z3
Version : 4.5.0+git.20170523	Vendor : openSUSE
Release : 2.1	Date : 2017-06-22 17:43:33
Group : Development/Languages/Python	Source RPM : z3-4.5.0+git.20170523-2.1.src.rpm
Size : 0.55 MB
Packager : http://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-12-SP2/standard/x86_64

Content of RPM Changelog Provides Requires

Download
ftp.icm.edu.pl python-z3-4.5.0+git.20170523-2.1.x86_64.rpm

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

Requires :

python(abi) = 2.7

rpmlib(CompressedFileNames) <= 3.0.4-1

rpmlib(PayloadFilesHavePrefix) <= 4.0-1

z3 = 4.5.0+git.20170523

rpmlib(PayloadIsLzma) <= 4.4.6-1

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