summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/lean: drop old 3.42.1Maciej Barć2022-07-141-75/+0
* sci-mathematics/lean: bump to 3.42.1Maciej Barć2022-03-271-0/+75