@python/python3.13

Project ID: 103452

Package: python-pysmt

General Information

Dist Git Repo:: @python/python3.13/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
6920032	0.9.5-3	5 months ago	2 minutes	succeeded
6935931	0.9.5-4	5 months ago	5 minutes	succeeded
7536895	0.9.5-5	30 days ago	-	canceled
7541397	0.9.5-5	30 days ago	52 seconds	succeeded
7550945	0.9.5-6	29 days ago	43 seconds	succeeded
7686918	0.9.5-6	8 days ago	a minute	succeeded

Status Badge

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

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