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-4.13.0-1.fc42.src.rpm | 2024-11-04 17:04 | 26M | |
lean4-4.13.0-4.fc42.src.rpm | 2024-11-23 09:02 | 26M | |
lean4-4.14.0-1.fc42.src.rpm | 2024-12-02 06:43 | 27M | |
lean4.spec | 2024-12-02 06:43 | 4.8K |