Пакет z3: Информация

    Исходный пакет: z3
    Версия: 4.3.2-alt1.git20141024.1
    Собран:  4 апреля 2016 г. 7:27 в задании #159698
    Категория: Науки/Математика
    Сообщить об ошибке в пакете
    Gear: https://git.altlinux.org/gears/z/z3.git?a=tree;hb=85a701cf9e3b88…
    Домашняя страница: http://z3.codeplex.com/
    Лицензия: Noncommercial use only
    О пакете: Высокопроизводительный доказатель теорем
    Описание: 
    Z3 — это высокопроизводительный доказатель теорем, разработанный Microsoft
Research.
    Список rpm-пакетов, предоставляемых данным srpm-пакетом:
    libz3 (x86_64, i586)
    libz3-debuginfo (x86_64, i586)
    libz3-devel (noarch)
    libz3-devel-docs (noarch)
    python-module-z3 (x86_64, i586)
    python3-module-z3 (x86_64, i586)
    z3 (x86_64, i586)
    z3-debuginfo (x86_64, i586)
    Сопровождающий: Eugeny A. Rostovtsev
    Список участников:
    Ivan Zakharyaschev
    Eugeny A. Rostovtsev
      1. python3-devel
      2. doxygen
      3. graphviz
      4. gcc-c++
      5. rpm-macros-make
      6. rpm-build-python3
      7. python-devel
      8. python-tools-2to3

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

    17 марта 2016 г. Ivan Zakharyaschev 4.3.2-alt1.git20141024.1
    - (NMU) rebuild with python3-3.5 & rpm-build-python3-0.1.10
  (for ABI dependence and new python3(*) reqs)
    17 марта 2015 г. Eugeny A. Rostovtsev 4.3.2-alt1.git20141024
    - Initial build for Sisyphus
    VKontakte|Telegram|YouTube|Forum|GitHub|Bugzilla
    Версия: v24.4.2
    Наверх