python-module-pyices-tests - Tests for pyices

Property Value
Distribution ALT Linux Sisyphus
Repository Classic i586
Package filename python-module-pyices-tests-0.2-alt2.git20140507.i586.rpm
Package name python-module-pyices-tests
Package version 0.2
Package release alt2.git20140507
Package architecture i586
Package type rpm
Category Development/Python
Homepage -
License -
Maintainer -
Download size 7.49 KB
Installed size 7.49 KB
Python bindings for Yices SMT solver. Works as a layer on top of C API,
on top of the layer generated by ctypesgen.
This package contains tests for pyices.


Package Version Architecture Repository
python-module-pyices-tests-0.2-alt2.git20140507.x86_64.rpm 0.2 x86_64 Classic
python-module-pyices-tests - - -


Name Value
python-module-pyices = 0.2-alt2.git20140507
python2.7(unittest) -
rpmlib(PayloadIsLzma) -


Name Value
python-module-pyices-tests = 0.2-alt2.git20140507
python2.7(pyices.tests) -
python2.7(pyices.tests.yices_test) -


Type URL
Binary Package python-module-pyices-tests-0.2-alt2.git20140507.i586.rpm
Source Package python-module-pyices-0.2-alt2.git20140507.src.rpm

Install Howto

  1. Add the following line to /etc/apt/sources.list:
    rpm [Sisyphus] i586 classic
    rpm [Sisyphus] noarch classic
  2. Update the package index:
    # sudo apt-get update
  3. Install python-module-pyices-tests rpm package:
    # sudo apt-get install python-module-pyices-tests




2018-03-05 - Aleksei Nikiforov <> 0.2-alt2.git20140507
- Cleaned up spec and fixed build.
2018-02-02 - Stanislav Levin <> 0.2-alt1.git20140507.1
- (NMU) Fix Requires and BuildRequires to python-setuptools
2015-03-16 - Eugeny A. Rostovtsev (REAL) <real at> 0.2-alt1.git20140507
- Initial build for Sisyphus

See Also

Package Description
python-module-pykcs11-1.4.3-alt1.i586.rpm A complete PKCS#11 wrapper for Python
python-module-pykcs11-docs-1.4.3-alt1.i586.rpm A complete PKCS#11 wrapper for Python
python-module-pylbfgs- LBFGS and OWL-QN optimization algorithms
python-module-pyldb-1.5.6-alt1.i586.rpm Python bindings for the LDB library
python-module-pyldb-devel-1.5.6-alt1.i586.rpm Development files for the Python bindings for the LDB library
python-module-pylibmc-1.5.2-alt1.1.i586.rpm Quick and small memcached client for Python
python-module-pylibrabbitmq-1.6.1-alt2.git20150706.i586.rpm Experimental Python bindings to the RabbitMQ C-library librabbitmq
python-module-pylibrabbitmq-tests-1.6.1-alt2.git20150706.i586.rpm Tests for pylibrabbitmq
python-module-pylirc-0.0.5-alt3.1.1.i586.rpm Python lirc module. See for more info on lirc
python-module-pylzma- Python bindings for the LZMA library by Igor Pavlov
python-module-pymagic-1.0-alt2.1.i586.rpm libmagic bindings
python-module-pymongo-3.8.0-alt1.i586.rpm Python driver for MongoDB
python-module-pymongo-gridfs-3.8.0-alt1.i586.rpm Python GridFS driver for MongoDB
python-module-pynacl-1.3.0-alt1.i586.rpm Python binding to the Networking and Cryptography (NaCl) library
python-module-pyogg-1.3-alt5.1.1.i586.rpm A Python module for the the Ogg library