Index of /raspbian/pool/main/m/metamath
Name
Last modified
Size
Parent Directory
-
metamath_0.183.orig.tar.gz
12-Jul-2020 18:08
437K
metamath_0.183-1_armhf.deb
18-Jul-2020 12:08
271K
metamath_0.183-1.debian.tar.xz
12-Jul-2020 18:08
1.8K
metamath_0.183-1.dsc
12-Jul-2020 18:08
1.2K
![[ICO]](/icons/blank.png){kind=icon}
![[DIR]](/icons/arrow_up.png){kind=icon}
![[ ]](/icons/page_white_compressed.png){kind=icon}
![[ ]](/icons/debian.png){kind=icon}
![[ ]](/icons/page.png){kind=icon}