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

    Исходный пакет: z3
    Версия: 4.8.8-alt1.1
    Собран:  25 января 2024 г. 23:03 в задании #339017
    Категория: Науки/Математика
    Сообщить об ошибке в пакете
    Gear: https://git.altlinux.org/gears/z/z3.git?a=tree;hb=81355a950bafbe…
    Домашняя страница: https://github.com/Z3Prover/z3
    Лицензия: MIT
    О пакете: Высокопроизводительный доказатель теорем
    Описание: 
    Z3 — это высокопроизводительный доказатель теорем, разработанный Microsoft
Research.
    Список бинарных RPM-пакетов, собираемых из данного SRPM:
    libz3 (x86_64, ppc64le, i586, armh, aarch64)
    libz3-debuginfo (x86_64, ppc64le, i586, armh, aarch64)
    libz3-devel (x86_64, ppc64le, i586, armh, aarch64)
    libz3-devel-docs (x86_64, ppc64le, i586, armh, aarch64)
    python3-module-z3 (noarch)
    z3 (x86_64, ppc64le, i586, armh, aarch64)
    z3-debuginfo (x86_64, ppc64le, i586, armh, aarch64)
    Сопровождающий: Grigory Ustinov
    Список участников:
    Grigory Ustinov
    Aleksei Nikiforov
    Ivan Zakharyaschev
    Eugeny A. Rostovtsev
      1. cmake
      2. python3(setuptools)
      3. doxygen
      4. python3-devel
      5. python3(pkg_resources)
      6. rpm-build-python3
      7. rpm-macros-make
      8. gcc-c++
      9. graphviz
      10. libgmp-devel
      11. libgmpxx-devel

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

    25 января 2024 г. Grigory Ustinov 4.8.8-alt1.1
    - NMU: Fixed FTBFS.
    10 июля 2020 г. Aleksei Nikiforov 4.8.8-alt1
    - Updated to upstream version 4.8.8.
    2 апреля 2020 г. Aleksei Nikiforov 4.8.7-alt1
    - Updated to upstream version 4.8.7.
- Disabled bindings for python-2.
    VKontakte|Telegram|YouTube|Forum|GitHub|Bugzilla
    Версия: v24.9.1
    Наверх