Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | sci-mathematics/lean: drop old 3.41.0 | Maciej Barć | 2022-05-18 | 1 | -1/+0 |
* | sci-mathematics/lean: bump to 3.43.0 | Maciej Barć | 2022-05-18 | 1 | -0/+1 |
* | sci-mathematics/lean: drop old 3.40.0 | Maciej Barć | 2022-03-27 | 1 | -1/+0 |
* | sci-mathematics/lean: bump to 3.42.1 | Maciej Barć | 2022-03-27 | 1 | -0/+1 |
* | sci-mathematics/lean: bump to 3.42.0 | Maciej Barć | 2022-03-18 | 1 | -0/+1 |
* | sci-mathematics/lean: drop old 3.38.0 | Maciej Barć | 2022-03-12 | 1 | -1/+0 |
* | sci-mathematics/lean: bump to 3.41.0 | Maciej Barć | 2022-03-12 | 1 | -0/+1 |
* | sci-mathematics/lean: drop old 3.37.0 | Maciej Barć | 2022-02-22 | 1 | -1/+0 |
* | sci-mathematics/lean: bump to 3.40.0 | Maciej Barć | 2022-02-22 | 1 | -0/+1 |
* | sci-mathematics/lean: drop old 3.35.1-r2 | Maciej Barć | 2022-02-08 | 1 | -1/+0 |
* | sci-mathematics/lean: bump to 3.39.1 | Maciej Barć | 2022-02-08 | 1 | -0/+1 |
* | sci-mathematics/lean: bump to 3.38.0 | Maciej Barć | 2022-01-30 | 1 | -0/+1 |
* | sci-mathematics/lean: bump to 3.37.0 | Maciej Barć | 2022-01-08 | 1 | -0/+1 |
* | sci-mathematics/lean: new package; add version 3.35.1 | Maciej Barć | 2021-11-26 | 1 | -0/+1 |