python-module-pyices-tests-0.2-alt2.git20140507.i586.rpm


Advertisement

Description

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.

Alternatives

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

Requires

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

Provides

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

Download

Type URL
Mirror ftp.altlinux.org
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] http://ftp.altlinux.org/pub/distributions/ALTLinux/Sisyphus i586 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-pyices-tests rpm package:
    # sudo apt-get install python-module-pyices-tests

Files

Path
/usr/lib/python2.7/site-packages/pyices/tests/__init__.py
/usr/lib/python2.7/site-packages/pyices/tests/__init__.pyc
/usr/lib/python2.7/site-packages/pyices/tests/__init__.pyo
/usr/lib/python2.7/site-packages/pyices/tests/yices_test.py
/usr/lib/python2.7/site-packages/pyices/tests/yices_test.pyc
/usr/lib/python2.7/site-packages/pyices/tests/yices_test.pyo

Changelog

2018-03-05 - Aleksei Nikiforov <darktemplar@altlinux.org> 0.2-alt2.git20140507
- Cleaned up spec and fixed build.
2018-02-02 - Stanislav Levin <slev@altlinux.org> 0.2-alt1.git20140507.1
- (NMU) Fix Requires and BuildRequires to python-setuptools
2015-03-16 - Eugeny A. Rostovtsev (REAL) <real at altlinux.org> 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-0.2.0.12-alt1.i586.rpm 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 http://www.lirc.org for more info on lirc
python-module-pylzma-0.4.6.2-alt1.git20141116.1.1.1.i586.rpm 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
Advertisement
Advertisement