@copr/PyPI

Project ID: 52707

Package: python-z4-solver

General Information

Dist Git Repo:: @copr/PyPI/python-z4-solver
Webhook rebuild:: Yes

Default Build Source

Source Type:: Build from PyPI
PyPI package name: z4-solver
Spec generator: pyp2spec

Build ID	Package Version	Submitted	Build Time	Status
3460383	2021.12.25.1-1.fc35	3 years ago	3 minutes	failed
8393689	2024.12.14-1	7 months ago	3 minutes	failed

Status Badge

HTML Code:: <a href="https://copr.fedorainfracloud.org/coprs/g/copr/PyPI/package/python-z4-solver/"><img src="https://copr.fedorainfracloud.org/coprs/g/copr/PyPI/package/python-z4-solver/status_image/last_build.png" /></a>

Markdown Code:: [![Copr build status](https://copr.fedorainfracloud.org/coprs/g/copr/PyPI/package/python-z4-solver/status_image/last_build.png)](https://copr.fedorainfracloud.org/coprs/g/copr/PyPI/package/python-z4-solver/)