Package z3

The Python 2 subpackage(s) are not required by anything in Fedora. They can be dropped if the maintainer wishes.


See z3 in the Fedora Pagure, or go directly to the corresponding spec file.

Fedora L

Package with dual support whose Python 2 subpackage(s) aren't needed elsewhere in Fedora

RPMs
  • python2-z3-4.6.0-2.fc28
    • × python(abi) = 2.7
  • python3-z3-4.6.0-2.fc28
    • python(abi) = 3.6

Dependent packages

Run time

None.

Build time

None.

Dependency Tree

Run time

Build time

Project Size

~708K total lines of code
~20.9K (3%) Python
(approximation as of 4.5.0-4.fc25)

Dependencies

Run time

1 Python 3 only; 1 Dropped
Package Upstream Fedora
  python3   bug (NEW)
  python2   X

Build time

1 Python 3 only; 1 Dual support; 1 Dropped
Package Upstream Fedora
  python-setuptools  
  python3   bug (NEW)
  python2   X