Mon Mar 30 2020 14:32:22 UTC
Hide Search Description
ID Product Component Assignee Status Resolution Summary Changed
234865 Ports & Packages Individual Port(s) yuri New --- math/py-z3-solver: fails to build on i386 with lld as system linker 2019-07-24
One bug found.

as

File a new bug in the "Individual Port(s)" component of the "Ports & Packages" product