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:
Markdown Code: