| 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-4.8.0-1.fc41.src.rpm | 2024-06-06 14:56 | 19M | |
| lean4-4.9.0-1.fc41.src.rpm | 2024-07-03 16:34 | 21M | |
| lean4-4.10.0-1.fc41.src.rpm | 2024-08-02 12:34 | 23M | |
| lean4.spec | 2024-11-04 17:04 | 4.1K | |
| lean4-4.13.0-1.fc42.src.rpm | 2024-11-04 17:04 | 26M |