summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/lean: drop old 3.39.1 & 3.42.0Maciej Barć2022-06-271-75/+0
* sci-mathematics/lean: amd64 stable wrt bug #835981Agostino Sarubbo2022-03-261-1/+1
* sci-mathematics/lean: remove USE=json and inherit of optfeatureMaciej Barć2022-02-221-3/+3
* sci-mathematics/lean: bump to 3.39.1Maciej Barć2022-02-081-0/+75