Package: Agda
General Information
- Dist Git Repo:
- vkm7608/AL2023/Agda
- Source Type:
- No default source
| Build ID | Package Version | Submitted | Build Time | Status |
|---|---|---|---|---|
| 8613802 | 2.6.2.2-36 | 13 hours ago | a minute | failed |
Status Badge
- HTML Code:
- Markdown Code:
| Build ID | Package Version | Submitted | Build Time | Status |
|---|---|---|---|---|
| 8613802 | 2.6.2.2-36 | 13 hours ago | a minute | failed |