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

    Исходный пакет: z3
    Версия: 4.8.8-alt1.1
    Собран:  1 февраля 2024 г. 6:10
    Категория: Науки/Математика
    Сообщить об ошибке в пакете
    Домашняя страница: https://github.com/Z3Prover/z3
    Лицензия: MIT
    О пакете: Высокопроизводительный доказатель теорем
    Описание: 
    Z3 — это высокопроизводительный доказатель теорем, разработанный Microsoft
Research.
    Список rpm-пакетов, предоставляемых данным srpm-пакетом:
    libz3 (e2kv6, e2kv5, e2kv4, e2k)
    libz3-debuginfo (e2kv6, e2kv5, e2kv4, e2k)
    libz3-devel (e2kv6, e2kv5, e2kv4, e2k)
    libz3-devel-docs (e2kv6, e2kv5, e2kv4, e2k)
    python3-module-z3 (noarch)
    z3 (e2kv6, e2kv5, e2kv4, e2k)
    z3-debuginfo (e2kv6, e2kv5, e2kv4, e2k)
    Сопровождающий: Grigory Ustinov
    Список участников:
    Grigory Ustinov
    Aleksei Nikiforov
    Ivan Zakharyaschev
    Eugeny A. Rostovtsev
      1. cmake
      2. doxygen
      3. gcc-c++
      4. libgmp-devel
      5. libgmpxx-devel
      6. graphviz
      7. python3(pkg_resources)
      8. python3(setuptools)
      9. python3-devel
      10. rpm-build-python3
      11. rpm-macros-make

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

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