Пакет python-module-pyices-tests: Информация

    Бинарный пакет: python-module-pyices-tests
    Версия: 0.2-alt2.git20140507
    Архитектура: mipsel
    Собран:  22 июля 2018 г. 1:50
    Исходный пакет: python-module-pyices
    Категория: Разработка/Python
    Сообщить об ошибке в пакете
    Загрузка: python-module-pyices-tests-0.2-alt2.git20140507.mipsel.rpm
    Домашняя страница: https://github.com/cheshire/pyices
    Лицензия: Free
    О пакете: Tests for pyices
    Описание: 
    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.
    Сопровождающий: Aleksei Nikiforov
    Список участников:
    Aleksei Nikiforov
    Stanislav Levin
    Eugeny A. Rostovtsev

    Последнее изменение

    5 марта 2018 г. Aleksei Nikiforov 0.2-alt2.git20140507
    - Cleaned up spec and fixed build.
    2 февраля 2018 г. Stanislav Levin 0.2-alt1.git20140507.1
    - (NMU) Fix Requires and BuildRequires to python-setuptools
    16 марта 2015 г. Eugeny A. Rostovtsev 0.2-alt1.git20140507
    - Initial build for Sisyphus
    VKontakte|Telegram|YouTube|Forum|GitHub|Bugzilla
    Версия: v24.5.3
    Наверх