@python/python3.12

Project ID: 72225

Package: python-pysmt

General Information

Dist Git Repo:: @python/python3.12/python-pysmt
Webhook rebuild:: Yes

Default Build Source

Source Type:: Build from DistGit
Distgit:: fedora
Committish:: rawhide
Clone_Url:: https://src.fedoraproject.org/rpms/python-pysmt.git

Build ID	Package Version	Submitted	Build Time	Status
5064952	0.9.0-7	1 year, 5 months ago	a minute	succeeded
5129594	0.9.0-7	1 year, 4 months ago	a minute	succeeded
5221525	0.9.0-7	1 year, 3 months ago	a minute	succeeded
5268318	0.9.0-8	1 year, 3 months ago	2 minutes	succeeded
5511765	0.9.0-8	1 year, 2 months ago	2 minutes	succeeded
5762242	0.9.5-1	1 year, 25 days ago	52 seconds	failed
6014885	0.9.5-1	10 months ago	2 minutes	succeeded
6076589	0.9.5-2	10 months ago	a minute	succeeded
6198840	0.9.5-3	9 months ago	a minute	succeeded
6935930	0.9.5-4	3 months ago	5 minutes	succeeded
6960293	0.9.5-5	3 months ago	3 minutes	succeeded

Status Badge

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

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