| Name | Last modified | Size | Description |
|---|---|---|---|
| Parent Directory | - | ||
| lean4-4.7.0-1.fc41.src.rpm | 2024-04-30 02:21 | 18M | |
| lean4-4.7.0-2.fc41.src.rpm | 2024-04-30 08:15 | 18M | |
| lean4-4.7.0-3.fc41.src.rpm | 2024-05-16 07:24 | 18M | |
| lean4-4.7.0-4.fc41.src.rpm | 2024-05-17 14:22 | 18M | |
| lean4.spec | 2024-05-17 14:22 | 2.4K |