jakub/gcc-13-test.checker
Project ID: 76794
Package: cvc4
General Information
- Dist Git Repo:
- jakub/gcc-13-test.checker/cvc4
- Source Type:
- Build from DistGit
- Committish:
- 95b2c72a8042a492c4f13c537a8f4af24a2eede5
- Clone_Url:
- https://src.fedoraproject.org/rpms/cvc4.git
Build ID | Package Version | Submitted | Build Time | Status |
---|---|---|---|---|
5184327 | 1.8-14 | 1 year, 11 months ago | 2 hours | failed |
Status Badge
- HTML Code:
- Markdown Code: