lecris/cmake-ninja-2.checker
Project ID: 178726
Package: cvc5
General Information
- Dist Git Repo:
- lecris/cmake-ninja-2.checker/cvc5
- Source Type:
- Build from DistGit
- Committish:
- 7347e0240e8e21190a5150b02b6d2a4485e1de00
- Clone_Url:
- https://src.fedoraproject.org/rpms/cvc5.git
Build ID | Package Version | Submitted | Build Time | Status |
---|---|---|---|---|
9046983 | 1.2.1-5 | 24 days ago | 50 minutes | succeeded |
Status Badge
- HTML Code:
- Markdown Code: