summaryrefslogtreecommitdiff
path: root/sci-mathematics/metamath-databases
ModeNameSize
-rw-r--r--Manifest936logplain
-rw-r--r--metadata.xml633logplain
-rw-r--r--metamath-databases-20220303.ebuild853logplain