python-module-z3-4.5.0-alt2.x86_64.rpm


Advertisement

Description

python-module-z3 - Python bindings of z3

Property Value
Distribution ALT Linux Sisyphus
Repository Classic x86_64
Package filename python-module-z3-4.5.0-alt2.x86_64.rpm
Package name python-module-z3
Package version 4.5.0
Package release alt2
Package architecture x86_64
Package type rpm
Category Development/Python
Homepage -
License -
Maintainer -
Download size 1.60 MB
Installed size 1.60 MB
Z3 is a high-performance theorem prover being developed at Microsoft
Research.
This package contains Python bindings of z3.

Alternatives

Package Version Architecture Repository
python-module-z3-4.5.0-alt2.i586.rpm 4.5.0 i586 Classic
python-module-z3 - - -

Requires

Name Value
/usr/lib64/python2.7/site-packages -
libz3 = 4.5.0-alt2
python-modules -
python2.7(ctypes) -
python2.7(pkg_resources) -
rpmlib(PayloadIsLzma) -

Provides

Name Value
python-module-z3 = 4.5.0-alt2
python2.7(libz3) -
python2.7(z3) -
python2.7(z3.z3) -
python2.7(z3.z3consts) -
python2.7(z3.z3core) -
python2.7(z3.z3num) -
python2.7(z3.z3poly) -
python2.7(z3.z3printer) -
python2.7(z3.z3rcf) -
python2.7(z3.z3types) -
python2.7(z3.z3util) -

Download

Type URL
Mirror ftp.altlinux.org
Binary Package python-module-z3-4.5.0-alt2.x86_64.rpm
Source Package z3-4.5.0-alt2.src.rpm

Install Howto

  1. Add the following line to /etc/apt/sources.list:
    
    rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/Sisyphus x86_64 classic
    rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/Sisyphus noarch classic
    
  2. Update the package index:
    # sudo apt-get update
  3. Install python-module-z3 rpm package:
    # sudo apt-get install python-module-z3

Files

Path
/usr/lib64/python2.7/site-packages/libz3.so
/usr/lib64/python2.7/site-packages/z3/__init__.py
/usr/lib64/python2.7/site-packages/z3/__init__.pyc
/usr/lib64/python2.7/site-packages/z3/__init__.pyo
/usr/lib64/python2.7/site-packages/z3/z3.py
/usr/lib64/python2.7/site-packages/z3/z3.pyc
/usr/lib64/python2.7/site-packages/z3/z3.pyo
/usr/lib64/python2.7/site-packages/z3/z3consts.py
/usr/lib64/python2.7/site-packages/z3/z3consts.pyc
/usr/lib64/python2.7/site-packages/z3/z3consts.pyo
/usr/lib64/python2.7/site-packages/z3/z3core.py
/usr/lib64/python2.7/site-packages/z3/z3core.pyc
/usr/lib64/python2.7/site-packages/z3/z3core.pyo
/usr/lib64/python2.7/site-packages/z3/z3num.py
/usr/lib64/python2.7/site-packages/z3/z3num.pyc
/usr/lib64/python2.7/site-packages/z3/z3num.pyo
/usr/lib64/python2.7/site-packages/z3/z3poly.py
/usr/lib64/python2.7/site-packages/z3/z3poly.pyc
/usr/lib64/python2.7/site-packages/z3/z3poly.pyo
/usr/lib64/python2.7/site-packages/z3/z3printer.py
/usr/lib64/python2.7/site-packages/z3/z3printer.pyc
/usr/lib64/python2.7/site-packages/z3/z3printer.pyo
/usr/lib64/python2.7/site-packages/z3/z3rcf.py
/usr/lib64/python2.7/site-packages/z3/z3rcf.pyc
/usr/lib64/python2.7/site-packages/z3/z3rcf.pyo
/usr/lib64/python2.7/site-packages/z3/z3types.py
/usr/lib64/python2.7/site-packages/z3/z3types.pyc
/usr/lib64/python2.7/site-packages/z3/z3types.pyo
/usr/lib64/python2.7/site-packages/z3/z3util.py
/usr/lib64/python2.7/site-packages/z3/z3util.pyc
/usr/lib64/python2.7/site-packages/z3/z3util.pyo

Changelog

2018-07-27 - Aleksei Nikiforov <darktemplar@altlinux.org> 4.5.0-alt2
- Updated build dependencies.
2018-03-26 - Aleksei Nikiforov <darktemplar@altlinux.org> 4.5.0-alt1.1
- (NMU) Rebuilt with python-3.6.4.
2017-10-09 - Aleksei Nikiforov <darktemplar@altlinux.org> 4.5.0-alt1
- Updated to upstream version 4.5.0.
2016-05-24 - Ivan Zakharyaschev <imz@altlinux.org> 4.3.2-alt1.git20141024.1.1
- (AUTO) subst_x86_64.
2016-03-17 - Ivan Zakharyaschev <imz@altlinux.org> 4.3.2-alt1.git20141024.1
- (NMU) rebuild with python3-3.5 & rpm-build-python3-0.1.10
(for ABI dependence and new python3(*) reqs)
2015-03-17 - Eugeny A. Rostovtsev (REAL) <real at altlinux.org> 4.3.2-alt1.git20141024
- Initial build for Sisyphus

See Also

Package Description
python-module-z3c-3.0.0-alt3.x86_64.rpm Pure namespace package 'z3c' for Python 2
python-module-z3c.appconfig-1.0-alt3.2.x86_64.rpm Simple application configuration system
python-module-z3c.appconfig-tests-1.0-alt3.2.x86_64.rpm Tests for z3c.appconfig
python-module-z3c.authenticator-1.0.0-alt2.a5.2.x86_64.rpm IAuthentication implementation for for Zope3
python-module-z3c.authenticator-tests-1.0.0-alt2.a5.2.x86_64.rpm Tests for z3c.authenticator
python-module-z3c.authviewlet-0.8.0-alt3.2.x86_64.rpm Authentication viewlet for Zope3
python-module-z3c.authviewlet-tests-0.8.0-alt3.2.x86_64.rpm Tests for Authentication viewlet for Zope3
python-module-z3c.autoinclude-0.3.7-alt1.x86_64.rpm Automatically include ZCML
python-module-z3c.autoinclude-tests-0.3.7-alt1.x86_64.rpm Tests for z3c.autoinclude
python-module-z3c.baseregistry-2.0.0-alt2.2.x86_64.rpm Manage IComponents instances using Python code and ZCML
python-module-z3c.baseregistry-tests-2.0.0-alt2.2.x86_64.rpm Tests for z3c.baseregistry
python-module-z3c.batching-2.1.0-alt1.x86_64.rpm This package provides simple sequence batching
python-module-z3c.batching-tests-2.1.0-alt1.x86_64.rpm Tests for z3c.batching
python-module-z3c.blobfile-0.1.5-alt4.2.x86_64.rpm File and Image Using Blob Support of ZODB -- Zope 3 Content Components
python-module-z3c.blobfile-tests-0.1.5-alt4.2.x86_64.rpm Tests for z3c.blobfile
Advertisement
Advertisement