Index of /raspbian/pool/main/m/metamath

[ICO]NameLast modifiedSizeDescriptionMetadata

[DIR]Parent Directory  -   
[   ]metamath_0.195.orig.tar.gz01-Jan-2021 10:43 456K  Details
[   ]metamath_0.195-1_armhf.deb06-Jan-2021 10:08 280K  Details
[TXT]metamath_0.195-1.dsc01-Jan-2021 10:43 1.2K  Details
[   ]metamath_0.195-1.debian.tar.xz01-Jan-2021 10:43 1.9K  Details

Apache/2.4.62 (Debian) Server at raspbian.raspberrypi.org Port 80

MirrorBrain powered by Apache