معرفی شرکت ها

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

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Tests for pyices
ویژگی مقدار
سیستم عامل Linux
توزیع ALT p9
مخزن ALTLinux classic mipsel
نام بسته python-module-pyices-tests
نام فایل بسته python-module-pyices-tests-0.2-alt2.git20140507.mipsel.rpm
نسخه بسته 0.2
انتشار بسته alt2.git20140507
معماری بسته mipsel
نگهدارنده -
تاریخ ساخت Sat 21 Jul 2018 06
هاست سازنده recycler-sisyphus_mipsel.hasher.altlinux.org
نوع بسته .rpm
آدرس صفحه اصلی https://github.com/cheshire/pyices
مجوز Free
حجم دانلود 5.5K
حجم نصب 7.489K
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.


جایگزین ها

بسته نسخه معماری مخزن
python-module-pyices-tests-0.2-alt2.git20140507.i586.rpm 0.2 i586 ALT classic
python-module-pyices-tests-0.2-alt2.git20140507.ppc64le.rpm 0.2 ppc64le ALT classic
python-module-pyices-tests-0.2-alt2.git20140507.x86_64.rpm 0.2 x86_64 ALT classic


نیازمندی

مقدار نام
= 0.2-alt2.git20140507 python-module-pyices
- python2.7(unittest)
- rpmlib(PayloadIsLzma)


ارائه دهنده

مقدار نام
- python2.7(pyices.tests)
- python2.7(pyices.tests.yices_test)
= 0.2-alt2.git20140507 python-module-pyices-tests


نحوه نصب


نصب پکیج rpm python-module-pyices-tests:

    sudo apt-get install python-module-pyices-tests-0.2-alt2.git20140507.mipsel.rpm


فایل ها

مسیرها
/usr/lib/python2.7/site-packages/pyices/tests
/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


گزارش تغییرات

تاریخ آخرین تغییر جزئیات
2018-03-05

Cleaned up spec and fixed build.

2018-02-02

(NMU) Fix Requires and BuildRequires to python-setuptools

2015-03-16

Initial build for Sisyphus