summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/metamath: change maintainer to Gentoo Mathematics ProjectMaciej Barć2021-12-251-4/+4
* sci-mathematics/metamath: new package; add version 0.198Maciej Barć2021-11-261-0/+18