@python/python3.13

Project ID: 103452

Package: python-pysmt

General Information

Dist Git Repo:: @python/python3.13/python-pysmt

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	1 year, 13 days ago	2 minutes	succeeded
6935931	0.9.5-4	1 year, 10 days ago	5 minutes	succeeded
7536895	0.9.5-5	7 months ago	-	canceled
7541397	0.9.5-5	7 months ago	52 seconds	succeeded
7550945	0.9.5-6	7 months ago	43 seconds	succeeded
7686918	0.9.5-6	7 months ago	a minute	succeeded
7759518	0.9.5-7	6 months ago	2 minutes	succeeded
7781356	0.9.5-8	6 months ago	a minute	succeeded
7815114	0.9.5-8	5 months ago	a minute	succeeded
7994496	0.9.5-8	4 months 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/)