Package: lean3
General Information
- Dist Git Repo:
- mgrabovs/lean3/lean3
- Source Type:
- No default source
| Build ID | Package Version | Submitted | Build Time | Status |
|---|---|---|---|---|
| 1024627 | 3.4.2-2.fc30 | 4 years ago | 43 minutes | succeeded |
Status Badge
- HTML Code:
- Markdown Code:
| Build ID | Package Version | Submitted | Build Time | Status |
|---|---|---|---|---|
| 1024627 | 3.4.2-2.fc30 | 4 years ago | 43 minutes | succeeded |