fberat/gcc-14_fulldeps_ppc64le.checker
Project ID: 113636
Package: cvc5
General Information
- Dist Git Repo:
- fberat/gcc-14_fulldeps_ppc64le.checker/cvc5
- Source Type:
- Build from DistGit
- Committish:
- fee791d29f4fd0ff5797a6e3f3681fc417d69278
- Clone_Url:
- https://src.fedoraproject.org/rpms/cvc5.git
Build ID | Package Version | Submitted | Build Time | Status |
---|---|---|---|---|
6878436 | 1.0.8-1 | 5 months ago | 14 minutes | failed |
Status Badge
- HTML Code:
- Markdown Code: