z3 4.13.0
AndreasStieger created request about 2 months ago
jirislaby accepted request about 2 months ago
LGTM, thanks
The Open Build Service is an openSUSE project.