odubaj/autoconf-2.70
Project ID: 37690
Package: yices
General Information
- Dist Git Repo:
- odubaj/autoconf-2.70/yices
- Source Type:
- Build from an SCM repository
- SCM type:
- git
- Clone URL:
- https://src.fedoraproject.org/rpms/yices.git
- Committish:
- rawhide
- Build SRPM with:
- rpkg
| Build ID | Package Version | Submitted | Build Time | Status |
|---|---|---|---|---|
| 1845492 | 2.6.2-6.fc33 | 3 years ago | 3 minutes | failed |
| 1914431 | 2.6.2-7.fc33 | 3 years ago | 17 minutes | succeeded |
| 1920887 | 2.6.2-7.fc33 | 3 years ago | 17 minutes | succeeded |
| 2013257 | 2.6.2-7 | 3 years ago | 17 minutes | succeeded |
| 2022305 | 2.6.2-7 | 3 years ago | 20 minutes | succeeded |
| 2096485 | 2.6.2-7 | 3 years ago | 16 minutes | succeeded |
| 2309590 | 2.6.2-7.fc34 | 3 years ago | 9 minutes | succeeded |
| 2328617 | 2.6.2-7.fc34 | 3 years ago | 17 minutes | succeeded |
| 2347452 | 2.6.2-8.fc34 | 3 years ago | 17 minutes | succeeded |
| 2906909 | 2.6.4-1.fc34 | 3 years ago | 11 minutes | succeeded |
| 3144935 | 2.6.4-2.fc34 | 2 years ago | 11 minutes | succeeded |
Status Badge
- HTML Code:
- Markdown Code: