churchyard/setuptools-74
Project ID: 143505
Package: cvc5
General Information
- Dist Git Repo:
- churchyard/setuptools-74/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 | Submitted | Build Time | Status |
|---|---|---|---|---|
| 7969014 | 1.1.2-5 | 4 months ago | 27 minutes | succeeded |
| 8034644 | 1.1.2-5 | 3 months ago | 32 minutes | succeeded |
| 8138330 | 1.2.0-1 | 2 months ago | an hour | succeeded |
| 8473367 | 1.2.0-2 | 3 days ago | 58 minutes | succeeded |
Status Badge
- HTML Code:
- Markdown Code: