python3-z3-4.8.10-2.fc34 in Fedora 34

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

Package Info
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files

Changelog

Date	Author	Change
2021-03-03	Jerry James <loganjerry at gmail dot com> - 4.8.10-2	- Rebuild for ocaml-zarith 1.12
2021-02-13	Jerry James <loganjerry at gmail dot com> - 4.8.10-1	- Version 4.8.10
2021-01-28	Fedora Release Engineering <releng at fedoraproject dot org> - 4.8.9-5	- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
2020-12-25	Jerry James <loganjerry at gmail dot com> - 4.8.9-4	- Fix the python interface (bz 1910923)
2020-11-16	Jerry James <loganjerry at gmail dot com> - 4.8.9-3	- Rebuild for ocaml-zarith 1.11
2020-09-25	Jerry James <loganjerry at gmail dot com> - 4.8.9-2	- Rebuild for ocaml-zarith 1.10
2020-09-11	Jerry James <loganjerry at gmail dot com> - 4.8.9-1	- Version 4.8.9
2020-09-01	Richard W.M. Jones <rjones at redhat dot com> - 4.8.8-7	- OCaml 4.11.1 rebuild
2020-08-21	Richard W.M. Jones <rjones at redhat dot com> - 4.8.8-6	- OCaml 4.11.0 rebuild
2020-07-29	Fedora Release Engineering <releng at fedoraproject dot org> - 4.8.8-5	- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild

Dependencies

python2.7 = 3.9
python3 = 3.9
z3-libs = 4.8.10-2.fc34

Provides

python-z3
python3-z3
python3.9-z3

Files

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

Sources on Pagure