jakub/gcc-13-test.checker
Project ID: 76794
Package: cryptominisat
General Information
- Dist Git Repo:
- jakub/gcc-13-test.checker/cryptominisat
- Source Type:
- Build from DistGit
- Committish:
- 0bc07db7b3b4537011341caab92f369b08308ad5
- Clone_Url:
- https://src.fedoraproject.org/rpms/cryptominisat.git
Build ID | Package Version | Submitted | Build Time | Status |
---|---|---|---|---|
5184322 | 5.8.0-11 | 1 year, 10 months ago | an hour | failed |
Status Badge
- HTML Code:
- Markdown Code: