@fedora-review/fedora-review-2277910-lean4
Project ID: 129977
Package: lean4
General Information
- Dist Git Repo:
- @fedora-review/fedora-review-2277910-lean4/lean4
- Source Type:
- No default source
| Build ID | Package Version | Submitted | Build Time | Status |
|---|---|---|---|---|
| 7449612 | 4.7.0-3 | 7 months ago | 55 minutes | succeeded |
| 7454612 | 4.7.0-4 | 7 months ago | an hour | succeeded |
| 7543712 | 4.8.0-1 | 6 months ago | an hour | succeeded |
| 7704052 | 4.9.0-1 | 5 months ago | an hour | succeeded |
| 7819198 | 4.10.0-1 | 4 months ago | an hour | succeeded |
| 8209482 | 4.13.0-1 | a month ago | an hour | succeeded |
| 8305794 | 4.13.0-4 | 25 days ago | an hour | succeeded |
| 8332728 | 4.14.0-1 | 16 days ago | an hour | succeeded |
Status Badge
- HTML Code:
- Markdown Code: