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.

lbalhar/python-setuptools_rawhide

Project ID: 172439

Package: cvc5

General Information

Dist Git Repo:: lbalhar/python-setuptools_rawhide/cvc5
Webhook rebuild:: Yes

Default Build Source

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

Build ID	Package Version	Submitted	Build Time	Status
8849328	1.2.1-3	3 months ago	47 minutes	succeeded
8911334	1.2.1-4	2 months ago	26 minutes	succeeded
8986808	1.2.1-5	2 months ago	46 seconds	failed
9235640	1.3.0-1	3 days ago	26 minutes	succeeded

Status Badge

HTML Code:: <a href="https://copr.fedorainfracloud.org/coprs/lbalhar/python-setuptools_rawhide/package/cvc5/"><img src="https://copr.fedorainfracloud.org/coprs/lbalhar/python-setuptools_rawhide/package/cvc5/status_image/last_build.png" /></a>

Markdown Code:: [![Copr build status](https://copr.fedorainfracloud.org/coprs/lbalhar/python-setuptools_rawhide/package/cvc5/status_image/last_build.png)](https://copr.fedorainfracloud.org/coprs/lbalhar/python-setuptools_rawhide/package/cvc5/)