python3-z3-4.15.4-1.fc42 in Fedora 42

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

Package Info
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files

Changelog

Date	Author	Change
2025-10-30	Jerry James <loganjerry at gmail dot com> - 4.15.4-1	- Version 4.15.4
2025-08-17	Jerry James <loganjerry at gmail dot com> - 4.15.3-1	- Version 4.15.3 - Provide the PyPI name for the python subpackage
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-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

Dependencies

python3 = 3.13
z3-libs = 4.15.4-1.fc42

Provides

python-z3
python-z3-solver
python3-z3
python3-z3-solver
python3.13-z3
python3.13-z3-solver

Files

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

Sources on Pagure