@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 | a month ago | 55 minutes | succeeded |
| 7454612 | 4.7.0-4 | a month ago | an hour | succeeded |
| 7543712 | 4.8.0-1 | 27 days ago | an hour | succeeded |
| 7704052 | 4.9.0-1 | 10 hours ago | an hour | succeeded |
Status Badge
- HTML Code:
- Markdown Code: