Package z3: Information

  • Default inline alert: Version in the repository: 4.8.8-alt1.1

Source package: z3
Version: 4.5.0-alt2
Latest version according to Repology
Build time:  Apr 23, 2019, 12:21 PM in the task #227564
Category: Sciences/Mathematics
Report package bug
Gear: https://git.altlinux.org/gears/z/z3.git?a=tree;hb=47b75c48942172…
Home page: https://github.com/Z3Prover/z3
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, i586, aarch64)
libz3-debuginfo (x86_64, i586, aarch64)
libz3-devel (noarch)
libz3-devel-docs (noarch)
python-module-z3 (x86_64, i586, aarch64)
python3-module-z3 (x86_64, i586, aarch64)
z3 (x86_64, i586, aarch64)
z3-debuginfo (x86_64, i586, aarch64)
Maintainer: Aleksei Nikiforov
List of contributors:
Aleksei Nikiforov
Ivan Zakharyaschev
Eugeny A. Rostovtsev
ACL:
Anton Farygin
@everybody
    1. python2.7(pkg_resources)
    2. python3-devel
    3. python3(pkg_resources)
    4. graphviz
    5. doxygen
    6. rpm-build-python3
    7. python-devel
    8. rpm-macros-make
    9. python-tools-2to3
    10. gcc-c++

Last changed

July 27, 2018 Aleksei Nikiforov 4.5.0-alt2
- Updated build dependencies.
March 26, 2018 Aleksei Nikiforov 4.5.0-alt1.1
- (NMU) Rebuilt with python-3.6.4.
Oct. 9, 2017 Aleksei Nikiforov 4.5.0-alt1
- Updated to upstream version 4.5.0.
VKontakte|Telegram|YouTube|Forum|GitHub|Bugzilla
Version: v24.4.2
Back to top