mywaaagh_admin/pypi

Project ID: 6

Package: python-z3-solver

General Information

Dist Git Repo:: mywaaagh_admin/pypi/python-z3-solver

Default Build Source

Source Type:: Build from PyPI
PyPI package name: z3-solver
Spec generator: pyporter

Build ID	Package Version	Submitted	Build Time	Status
13714	4.12.1.0-1	2 years ago	6 hours	failed
41062	4.12.1.0-1	2 years ago	an hour	failed

Status Badge

HTML Code:: <a href="https://eur.openeuler.openatom.cn/coprs/mywaaagh_admin/pypi/package/python-z3-solver/"><img src="https://eur.openeuler.openatom.cn/coprs/mywaaagh_admin/pypi/package/python-z3-solver/status_image/last_build.png" /></a>

Markdown Code:: [![Copr build status](https://eur.openeuler.openatom.cn/coprs/mywaaagh_admin/pypi/package/python-z3-solver/status_image/last_build.png)](https://eur.openeuler.openatom.cn/coprs/mywaaagh_admin/pypi/package/python-z3-solver/)