python3-z3-4.15.2-1.fc43 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
2025-06-25	Jerry James <loganjerry at gmail dot com> - 4.15.2-1	- Version 4.15.2
2025-06-11	Jerry James <loganjerry at gmail dot com> - 4.15.1-1	- Version 4.15.1
2025-06-02	Python Maint <python dash maint at redhat dot com> - 4.15.0-2	- Rebuilt for Python 3.14
2025-05-21	Jerry James <loganjerry at gmail dot com> - 4.15.0-1	- Version 4.15.0
2025-05-05	Yaakov Selkowitz <yselkowi at redhat dot com> - 4.14.1-2	- Specify Python bindings installation directory
2025-03-11	Jerry James <loganjerry at gmail dot com> - 4.14.1-1	- Version 4.14.1
2025-03-04	Jerry James <loganjerry at gmail dot com> - 4.14.0-1	- Version 4.14.0
2025-01-19	Fedora Release Engineering <releng at fedoraproject dot org> - 4.13.4-3	- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
2025-01-15	Jerry James <loganjerry at gmail dot com> - 4.13.4-2	- Move configuration steps to %conf
2024-12-27	Jerry James <loganjerry at gmail dot com> - 4.13.4-1	- Version 4.13.4

Dependencies

python3 = 3.14
z3-libs = 4.15.2-1.fc43

Provides

python-z3
python3-z3
python3.14-z3

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