Package z3: Information

    Source package: z3
    Version: 4.8.8-alt1.1
    Latest version according to Repology
    Build time:  Jan 25, 2024, 11:03 PM in the task #339017
    Report package bug
    License: MIT
    Summary: High-performance theorem prover
    Description: 
    Z3 is a high-performance theorem prover being developed at Microsoft
    Research.

    List of rpms provided by this 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)

    Maintainer: Grigory Ustinov


    ACL:
    Anton Farygin
    @everybody

      1. cmake
      2. graphviz
      3. doxygen
      4. gcc-c++
      5. libgmp-devel
      6. libgmpxx-devel
      7. python3(pkg_resources)
      8. python3(setuptools)
      9. python3-devel
      10. rpm-build-python3
      11. rpm-macros-make

    Last changed


    Jan. 25, 2024 Grigory Ustinov 4.8.8-alt1.1
    - NMU: Fixed FTBFS.
    July 10, 2020 Aleksei Nikiforov 4.8.8-alt1
    - Updated to upstream version 4.8.8.
    April 2, 2020 Aleksei Nikiforov 4.8.7-alt1
    - Updated to upstream version 4.8.7.
    - Disabled bindings for python-2.