cstratak/Cython-3.1.2

temporary project: will be deleted after 21 days

Project ID: 184027

Package: cvc5

General Information

Dist Git Repo:
cstratak/Cython-3.1.2/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
9239811 1.3.0-1 14 hours ago 45 minutes succeeded

Status Badge

HTML Code:
Markdown Code: