python3-z3-4.7.1-1.fc28.i686.rpm


Advertisement

Description

python3-z3 - Python 3 interface to z3

Property Value
Distribution Fedora 28
Repository Fedora Updates i386
Package name python3-z3
Package version 4.7.1
Package release 1.fc28
Package architecture i686
Package type rpm
Installed size 1.44 MB
Download size 198.06 KB
Official Mirror download-ib01.fedoraproject.org
Python 3 interface to z3.

Alternatives

Package Version Architecture Repository
python3-z3-4.7.1-1.fc28.x86_64.rpm 4.7.1 x86_64 Fedora Updates
python3-z3-4.6.0-2.fc28.x86_64.rpm 4.6.0 x86_64 Fedora
python3-z3-4.6.0-2.fc28.i686.rpm 4.6.0 i686 Fedora
python3-z3 - - -

Requires

Name Value
python(abi) = 3.6
z3-libs(x86-32) = 4.7.1-1.fc28

Provides

Name Value
python3-z3 = 4.7.1-1.fc28
python3-z3(x86-32) = 4.7.1-1.fc28

Download

Type URL
Binary Package python3-z3-4.7.1-1.fc28.i686.rpm
Source Package z3-4.7.1-1.fc28.src.rpm

Install Howto

Install python3-z3 rpm package:

# dnf install python3-z3

Files

Path
/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/z3types.py
/usr/lib/python3.6/site-packages/z3/z3util.py
/usr/lib/python3.6/site-packages/z3/__pycache__/__init__.cpython-36.opt-1.pyc
/usr/lib/python3.6/site-packages/z3/__pycache__/__init__.cpython-36.pyc
/usr/lib/python3.6/site-packages/z3/__pycache__/z3.cpython-36.opt-1.pyc
/usr/lib/python3.6/site-packages/z3/__pycache__/z3.cpython-36.pyc
/usr/lib/python3.6/site-packages/z3/__pycache__/z3consts.cpython-36.opt-1.pyc
/usr/lib/python3.6/site-packages/z3/__pycache__/z3consts.cpython-36.pyc
/usr/lib/python3.6/site-packages/z3/__pycache__/z3core.cpython-36.opt-1.pyc
/usr/lib/python3.6/site-packages/z3/__pycache__/z3core.cpython-36.pyc
/usr/lib/python3.6/site-packages/z3/__pycache__/z3num.cpython-36.opt-1.pyc
/usr/lib/python3.6/site-packages/z3/__pycache__/z3num.cpython-36.pyc
/usr/lib/python3.6/site-packages/z3/__pycache__/z3poly.cpython-36.opt-1.pyc
/usr/lib/python3.6/site-packages/z3/__pycache__/z3poly.cpython-36.pyc
/usr/lib/python3.6/site-packages/z3/__pycache__/z3printer.cpython-36.opt-1.pyc
/usr/lib/python3.6/site-packages/z3/__pycache__/z3printer.cpython-36.pyc
/usr/lib/python3.6/site-packages/z3/__pycache__/z3rcf.cpython-36.opt-1.pyc
/usr/lib/python3.6/site-packages/z3/__pycache__/z3rcf.cpython-36.pyc
/usr/lib/python3.6/site-packages/z3/__pycache__/z3types.cpython-36.opt-1.pyc
/usr/lib/python3.6/site-packages/z3/__pycache__/z3types.cpython-36.pyc
/usr/lib/python3.6/site-packages/z3/__pycache__/z3util.cpython-36.opt-1.pyc
/usr/lib/python3.6/site-packages/z3/__pycache__/z3util.cpython-36.pyc
/usr/lib/python3.6/site-packages/z3/lib/libz3.so

Changelog

See z3-4.7.1-1.fc28.i686.rpm changelog.

See Also

Package Description
python3-zmq-17.0.0-1.fc28.i686.rpm Software library for fast, message-based applications
python3-zmq-tests-17.0.0-1.fc28.i686.rpm Software library for fast, message-based applications
python3-zodbpickle-1.0.1-1.fc28.i686.rpm Fork of Python 3 pickle module for ZODB
python3-zope-interface-4.5.0-1.fc28.i686.rpm Zope 3 Interface Infrastructure
python33-3.3.7-6.fc28.i686.rpm Version 3.3 of the Python programming language
python34-3.4.9-2.fc28.i686.rpm Version 3.4 of the Python programming language
python35-3.5.6-3.fc28.i686.rpm Version 3.5 of the Python programming language
python37-3.7.2-2.fc28.i686.rpm Version 3.7 of the Python interpreter
pythonqt-3.2-11.fc28.i686.rpm Lightweight script binding of the Qt framework to the Python language
pythonqt-devel-3.2-11.fc28.i686.rpm Lightweight script binding of the Qt framework to the Python language
pywbem-twisted-0.12.6-1.fc28.noarch.rpm WBEM client bindings for Twisted Python
pyzor-1.0.0-16.20180724git2b8d76d.fc28.noarch.rpm Collaborative spam filtering system
qalculate-2.0.0-6.fc28.i686.rpm Multi-purpose calculator, text mode interface
qbittorrent-4.1.5-1.fc28.i686.rpm A Bittorrent Client
qbittorrent-nox-4.1.5-1.fc28.i686.rpm A Headless Bittorrent Client
Advertisement
Advertisement