python3-z3-4.14.1-2.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-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
2024-10-11	Jerry James <loganjerry at gmail dot com> - 4.13.3-1	- Version 4.13.3
2024-09-27	Jerry James <loganjerry at gmail dot com> - 4.13.2-1	- Version 4.13.2
2024-07-20	Fedora Release Engineering <releng at fedoraproject dot org> - 4.13.0-6	- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
2024-07-16	Jerry James <loganjerry at gmail dot com> - 4.13.0-5	- Rebuild for ocaml-zarith 1.14

Dependencies

python3 = 3.13
z3-libs = 4.14.1-2.fc43

Provides

python-z3
python3-z3
python3.13-z3

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