dmalcolm/gcc-15-smoketest.checker
Project ID: 156522
Package: cvc5
General Information
- Dist Git Repo:
- dmalcolm/gcc-15-smoketest.checker/cvc5
- Source Type:
- Build from DistGit
- Committish:
- 44121ae8e3080bd6b63070658a2d31e322bb6a6d
- Clone_Url:
- https://src.fedoraproject.org/rpms/cvc5.git
Build ID | Package Version | Submitted | Build Time | Status |
---|---|---|---|---|
8355843 | 1.2.0-1 | a month ago | 43 minutes | succeeded |
Status Badge
- HTML Code:
- Markdown Code: