Warning! Fedora moves to a new datacenter, which may result in some instabilities in Copr. The expected outage is expected to happen from 30th June to 4th July. For more information please refer to this ticket.

@python/python3.14

Project ID: 149680

Package: python-pysmt

General Information

Dist Git Repo:: @python/python3.14/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
8409170	0.9.5-8	6 months ago	25 seconds	failed
8417861	0.9.5-8	6 months ago	a minute	succeeded
9084858	0.9.5-9	a month ago	58 seconds	succeeded
9175324	0.9.5-10	20 days ago	a minute	succeeded

Status Badge

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

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