https://bugzilla.redhat.com/show_bug.cgi?id=1839885
W. Michael Petullo <mike(a)flyn.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |CLOSED
Resolution|--- |NOTABUG
Doc Type|--- |If docs needed, set a value
Last Closed| |2020-05-26 20:07:13
--- Comment #1 from W. Michael Petullo <mike(a)flyn.org> ---
This is already provided as python-z3. I did not notice that before proposing
this package.
--
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component