python3-z3-4.15.8-2.fc45 in Fedora Rawhide

↵ Return to the main page of python3-z3
View build
Search for updates

Package Info
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files

Changelog

Date	Author	Change
2026-02-20	Richard W.M. Jones <rjones at redhat dot com> - 4.15.8-2	- OCaml 5.4.1 rebuild
2026-02-13	Jerry James <loganjerry at gmail dot com> - 4.15.8-1	- Version 4.15.8
2026-02-10	Jerry James <loganjerry at gmail dot com> - 4.15.7-1	- Version 4.15.7 - Make the doc subpackage noarch again
2026-01-17	Fedora Release Engineering <releng at fedoraproject dot org> - 4.15.4-3	- Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
2026-01-14	Jerry James <loganjerry at gmail dot com> - 4.15.4-2	- Reflow the description text - Be more precise about globbing in %files
2025-10-30	Jerry James <loganjerry at gmail dot com> - 4.15.4-1	- Version 4.15.4
2025-10-13	Richard W.M. Jones <rjones at redhat dot com> - 4.15.3-3	- OCaml 5.4.0 rebuild
2025-09-19	Python Maint <python dash maint at redhat dot com> - 4.15.3-2	- Rebuilt for Python 3.14.0rc3 bytecode
2025-08-16	Jerry James <loganjerry at gmail dot com> - 4.15.3-1	- Version 4.15.3
2025-08-15	Python Maint <python dash maint at redhat dot com> - 4.15.2-5	- Rebuilt for Python 3.14.0rc2 bytecode

Dependencies

python3 = 3.14
z3-libs = 4.15.8-2.fc45

Provides

python-z3
python-z3-solver
python3-z3
python3-z3-solver
python3.14-z3
python3.14-z3-solver

Files

usr/
- lib/
  - python3.14/
    - site-packages/
      - z3/
        
        __init__.py
        
        __pycache__/
        
        __init__.cpython-314.opt-1.pyc
        
        __init__.cpython-314.pyc
        
        z3.cpython-314.opt-1.pyc
        
        z3.cpython-314.pyc
        
        z3consts.cpython-314.opt-1.pyc
        
        z3consts.cpython-314.pyc
        
        z3core.cpython-314.opt-1.pyc
        
        z3core.cpython-314.pyc
        
        z3num.cpython-314.opt-1.pyc
        
        z3num.cpython-314.pyc
        
        z3poly.cpython-314.opt-1.pyc
        
        z3poly.cpython-314.pyc
        
        z3printer.cpython-314.opt-1.pyc
        
        z3printer.cpython-314.pyc
        
        z3rcf.cpython-314.opt-1.pyc
        
        z3rcf.cpython-314.pyc
        
        z3test.cpython-314.opt-1.pyc
        
        z3test.cpython-314.pyc
        
        z3types.cpython-314.opt-1.pyc
        
        z3types.cpython-314.pyc
        
        z3util.cpython-314.opt-1.pyc
        
        z3util.cpython-314.pyc
        
        z3.py
        
        z3consts.py
        
        z3core.py
        
        z3num.py
        
        z3poly.py
        
        z3printer.py
        
        z3rcf.py
        
        z3test.py
        
        z3types.py
        
        z3util.py

Sources on Pagure