python3-z3-4.13.3-1.fc42 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
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
2024-06-19	Richard W.M. Jones <rjones at redhat dot com> - 4.13.0-4	- OCaml 5.2.0 ppc64le fix
2024-06-07	Python Maint <python dash maint at redhat dot com> - 4.13.0-3	- Rebuilt for Python 3.13
2024-05-29	Richard W.M. Jones <rjones at redhat dot com> - 4.13.0-2	- OCaml 5.2.0 for Fedora 41
2024-03-14	Jerry James <loganjerry at gmail dot com> - 4.13.0-1	- Version 4.13.0
2024-02-25	Jerry James <loganjerry at gmail dot com> - 4.12.6-1	- Version 4.12.6
2024-01-27	Jerry James <loganjerry at gmail dot com> - 4.12.5-1	- Version 4.12.5

Dependencies

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

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