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

    Исходный пакет: python-module-pyices
    Версия: 0.2-alt2.git20140507
    Собран:  6 марта 2018 г. 10:30 в задании #201413
    Категория: Разработка/Python
    Сообщить об ошибке в пакете
    Gear: https://git.altlinux.org/gears/p/python-module-pyices.git?a=tree…
    Домашняя страница: https://github.com/cheshire/pyices
    Лицензия: Free
    О пакете: Python bindings for Yices SMT solver
    Описание: 
    Python bindings for Yices SMT solver. Works as a layer on top of C API,
on top of the layer generated by ctypesgen.
    Список rpm-пакетов, предоставляемых данным srpm-пакетом:
    python-module-pyices (x86_64, i586)
    python-module-pyices-tests (x86_64, i586)
    Сопровождающий: Aleksei Nikiforov
    Список участников:
    Aleksei Nikiforov
    Stanislav Levin
    Eugeny A. Rostovtsev
      1. libyices-devel
      2. python-devel
      3. python-module-ctypesgen
      4. python-module-nose
      5. python-module-setuptools

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

    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
    Наверх