lbalhar/python-setuptools_rawhide
Project ID: 172439
Package: cvc5
General Information
- Dist Git Repo:
- lbalhar/python-setuptools_rawhide/cvc5
- Webhook rebuild:
- Yes
- Source Type:
- Build from DistGit
- Distgit:
- fedora
- Committish:
- rawhide
- Clone_Url:
- https://src.fedoraproject.org/rpms/cvc5.git
| Build ID | Package Version | Subproject | Submitted | Build Time | Status |
|---|---|---|---|---|---|
| 8849328 | 1.2.1-3 | - | 6 months ago | 47 minutes | succeeded |
| 8911334 | 1.2.1-4 | - | 6 months ago | 26 minutes | succeeded |
| 8986808 | 1.2.1-5 | - | 5 months ago | 46 seconds | failed |
| 9235640 | 1.3.0-1 | - | 3 months ago | 26 minutes | succeeded |
| 9351579 | 1.3.0-3 | - | 3 months ago | 44 minutes | succeeded |
| 9601070 | 1.3.1-1 | - | a month ago | 46 minutes | succeeded |
Status Badge
- HTML Code:
- Markdown Code: