| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/lean: drop ~x86 KEYWORD |   Maciej Barć | 2024-09-20 | 1 | -1/+1 |
| * | sci-mathematics/lean: Stabilize 4.2.0 amd64, #922367 |   Sam James | 2024-01-18 | 1 | -2/+2 |
| * | sci-mathematics/lean: bump to 4.2.0 | Maciej Barć | 2023-11-30 | 1 | -0/+78 |
GitWeb