Index of /pool/universe/m/metamath
Name
Last modified
Size
Parent Directory
-
metamath_0.195-1_amd64.deb
01-Jan-2021 18:34
336K
metamath_0.180-1_amd64.deb
03-Jan-2020 00:58
327K
![[ICO]](/icons/blank.png){kind=icon}
![[DIR]](/icons/arrow_up.png){kind=icon}
![[ ]](/icons/debian.png){kind=icon}