Request 1170557: Submit z3 - openSUSE Build Service

Overview

Request 1170557 accepted

z3 4.13.0

Created by AndreasStieger 24 days ago
In state accepted

Submit z3

Comments for request 1170557 0

Login required, please login in order to comment

Request History

AndreasStieger created request 24 days ago

z3 4.13.0

jirislaby accepted request 23 days ago

LGTM, thanks

openSUSE Build Service is sponsored by