| Name | Last modified | Size | Description |
|---|---|---|---|
| Parent Directory | - | ||
| idris2-0.7.0-1.fc42.src.rpm | 2024-09-24 02:43 | 6.6M | |
| idris2-0.7.0-2.fc42.src.rpm | 2025-01-19 10:11 | 6.6M | |
| idris2.spec | 2025-01-19 10:11 | 4.5K |
| Name | Last modified | Size | Description |
|---|---|---|---|
| Parent Directory | - | ||
| idris2-0.7.0-1.fc42.src.rpm | 2024-09-24 02:43 | 6.6M | |
| idris2-0.7.0-2.fc42.src.rpm | 2025-01-19 10:11 | 6.6M | |
| idris2.spec | 2025-01-19 10:11 | 4.5K |