python3-z3-4.8.4-2.fc30.x86_64.rpm


Advertisement

Description

python3-z3 - Python 3 interface to z3

Property Value
Distribution Fedora 30
Repository Fedora x86_64
Package filename python3-z3-4.8.4-2.fc30.x86_64.rpm
Package name python3-z3
Package version 4.8.4
Package release 2.fc30
Package architecture x86_64
Package type rpm
Homepage https://github.com/Z3Prover/z3
License MIT
Maintainer -
Download size 199.26 KB
Installed size 1.45 MB
Python 3 interface to z3.

Alternatives

Package Version Architecture Repository
python3-z3-4.8.5-1.fc30.i686.rpm 4.8.5 i686 Fedora Updates
python3-z3-4.8.5-1.fc30.x86_64.rpm 4.8.5 x86_64 Fedora Updates
python3-z3-4.8.4-2.fc30.i686.rpm 4.8.4 i686 Fedora
python3-z3 - - -

Requires

Name Value
python(abi) = 3.7
z3-libs(x86-64) = 4.8.4-2.fc30

Provides

Name Value
python2-z3 = 4.8
python3-z3 = 4.8.4-2.fc30
python3-z3(x86-64) = 4.8.4-2.fc30

Obsoletes

Name Value
python2-z3 < 4.8

Download

Type URL
Mirror download-ib01.fedoraproject.org
Binary Package python3-z3-4.8.4-2.fc30.x86_64.rpm
Source Package z3-4.8.4-2.fc30.src.rpm

Install Howto

Install python3-z3 rpm package:

# dnf --refresh install python3-z3

Files

Path
/usr/lib64/python3.7/site-packages/z3/__init__.py
/usr/lib64/python3.7/site-packages/z3/z3.py
/usr/lib64/python3.7/site-packages/z3/z3consts.py
/usr/lib64/python3.7/site-packages/z3/z3core.py
/usr/lib64/python3.7/site-packages/z3/z3num.py
/usr/lib64/python3.7/site-packages/z3/z3poly.py
/usr/lib64/python3.7/site-packages/z3/z3printer.py
/usr/lib64/python3.7/site-packages/z3/z3rcf.py
/usr/lib64/python3.7/site-packages/z3/z3types.py
/usr/lib64/python3.7/site-packages/z3/z3util.py
/usr/lib64/python3.7/site-packages/z3/__pycache__/__init__.cpython-37.opt-1.pyc
/usr/lib64/python3.7/site-packages/z3/__pycache__/__init__.cpython-37.pyc
/usr/lib64/python3.7/site-packages/z3/__pycache__/z3.cpython-37.opt-1.pyc
/usr/lib64/python3.7/site-packages/z3/__pycache__/z3.cpython-37.pyc
/usr/lib64/python3.7/site-packages/z3/__pycache__/z3consts.cpython-37.opt-1.pyc
/usr/lib64/python3.7/site-packages/z3/__pycache__/z3consts.cpython-37.pyc
/usr/lib64/python3.7/site-packages/z3/__pycache__/z3core.cpython-37.opt-1.pyc
/usr/lib64/python3.7/site-packages/z3/__pycache__/z3core.cpython-37.pyc
/usr/lib64/python3.7/site-packages/z3/__pycache__/z3num.cpython-37.opt-1.pyc
/usr/lib64/python3.7/site-packages/z3/__pycache__/z3num.cpython-37.pyc
/usr/lib64/python3.7/site-packages/z3/__pycache__/z3poly.cpython-37.opt-1.pyc
/usr/lib64/python3.7/site-packages/z3/__pycache__/z3poly.cpython-37.pyc
/usr/lib64/python3.7/site-packages/z3/__pycache__/z3printer.cpython-37.opt-1.pyc
/usr/lib64/python3.7/site-packages/z3/__pycache__/z3printer.cpython-37.pyc
/usr/lib64/python3.7/site-packages/z3/__pycache__/z3rcf.cpython-37.opt-1.pyc
/usr/lib64/python3.7/site-packages/z3/__pycache__/z3rcf.cpython-37.pyc
/usr/lib64/python3.7/site-packages/z3/__pycache__/z3types.cpython-37.opt-1.pyc
/usr/lib64/python3.7/site-packages/z3/__pycache__/z3types.cpython-37.pyc
/usr/lib64/python3.7/site-packages/z3/__pycache__/z3util.cpython-37.opt-1.pyc
/usr/lib64/python3.7/site-packages/z3/__pycache__/z3util.cpython-37.pyc
/usr/lib64/python3.7/site-packages/z3/lib/libz3.so

Changelog

2019-02-03 - Fedora Release Engineering <releng@fedoraproject.org> - 4.8.4-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
2018-12-24 - Jerry James <loganjerry@gmail.com> - 4.8.4-1
- New upstream version
- Drop -no-sse patch, now handled upstream
2018-11-28 - Jerry James <loganjerry@gmail.com> - 4.8.3-1
- New upstream version
2018-10-30 - Jerry James <loganjerry@gmail.com> - 4.8.1-1
- New upstream version
- Drop python2 subpackage (bz 1634981)
2018-09-07 - Jerry James <loganjerry@gmail.com> - 4.7.1-5
- Build with SSE2 support on 32-bit x86
2018-07-14 - Fedora Release Engineering <releng@fedoraproject.org> - 4.7.1-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
2018-07-11 - Richard W.M. Jones <rjones@redhat.com> - 4.7.1-4
- OCaml 4.07.0 (final) rebuild.
2018-06-20 - Richard W.M. Jones <rjones@redhat.com> - 4.7.1-3
- OCaml 4.07.0-rc1 rebuild.
2018-06-19 - Miro HronĨok <mhroncok@redhat.com> - 4.7.1-2
- Rebuilt for Python 3.7
2018-05-22 - Jerry James <loganjerry@gmail.com> - 4.7.1-1
- New upstream version (bz 1581516)
- Drop upstreamed -vector patch

See Also

Package Description
python3-zabbix-api-erigones-1.2.4-7.fc30.noarch.rpm Zabbix API Python Library
python3-zake-0.2.2-15.fc30.noarch.rpm Testing utilities for the kazoo library
python3-zanata-client-1.5.3-1.fc30.noarch.rpm Python3 Client for Zanata Server
python3-zanata2fedmsg-0.2-12.fc30.noarch.rpm A web app bridging zanata webhooks to fedmsg
python3-zaqarclient-1.9.0-3.fc30.noarch.rpm Client Library for OpenStack Zaqar Queueing API
python3-zarr-2.3.1-2.fc30.noarch.rpm An implementation of chunked, compressed, N-dimensional arrays for Python
python3-zbase32-1.1.5-14.fc30.noarch.rpm A base32 encoder/decoder
python3-zc-buildout-2.5.3-10.fc30.noarch.rpm System for managing development buildouts
python3-zc-customdoctests-1.0.1-19.fc30.noarch.rpm Use doctest with other languages
python3-zc-lockfile-1.3.0-5.fc30.noarch.rpm Basic Inter-Process Locks
python3-zdaemon-4.2.0-9.fc30.noarch.rpm Python Daemon Process Control Library
python3-zeep-3.3.1-1.fc30.noarch.rpm A fast and modern Python SOAP client
python3-zeroconf-0.21.3-3.fc30.noarch.rpm Pure Python 3 Multicast DNS Service Discovery Library
python3-zict-0.1.4-1.fc30.noarch.rpm Mutable mapping tools
python3-zinnia-0.06-42.fc30.x86_64.rpm Python bindings for zinnia
Advertisement
Advertisement