Mon Jul 22 2019 11:42:38 UTC
That doesn’t happen on my machine.
Hide Search Description
ID Product Component Assignee Status Resolution Summary Changed
238376 Ports & Packages Individual Port(s) fernape Open --- math/cvc4: update to 1.7 2019-06-12
One bug found.

as

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