Request 610380: Submit z3 - openSUSE Build Service

Overview

Request 610380 accepted

- Use python3 exclusively
- Do not call contrib/cmake/bootstrap.py - it is obsolete

Created by pluskalm about 6 years ago
In state accepted

Submit z3

Comments for request 610380 0

Login required, please login in order to comment

Request History

pluskalm created request about 6 years ago

- Use python3 exclusively
- Do not call contrib/cmake/bootstrap.py - it is obsolete

pluskalm accepted request about 6 years ago

openSUSE Build Service is sponsored by