Group :: Ciências/Matemática
RPM: z3
Main Changelog Spec Patches Sources Download Gear Bugs e FR Repocop
10 julho 2020 Aleksei Nikiforov <darktemplar at altlinux.org> 4.8.8-alt1
- Updated to upstream version 4.8.8.
- Updated to upstream version 4.8.7.
- Disabled bindings for python-2.
- Updated build dependencies.
- (NMU) Rebuilt with python-3.6.4.
- Updated to upstream version 4.5.0.
- (AUTO) subst_x86_64.
- (NMU) rebuild with python3-3.5 & rpm-build-python3-0.1.10
(for ABI dependence and new python3(*) reqs)
- Initial build for Sisyphus