Index of /pool/universe/m/metamath

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[TXT]metamath_0.180-1.dsc2024-08-09 20:17 1.2K
[TXT]metamath_0.195-1.dsc2024-08-09 20:17 1.2K
[   ]metamath_0.195-1.debian.tar.xz2024-08-09 20:17 1.9K
[   ]metamath_0.180-1.debian.tar.xz2024-08-09 20:17 2.0K
[   ]metamath_0.180-1_amd64.deb2024-08-09 20:17 327K
[   ]metamath_0.195-1_amd64.deb2024-08-09 20:17 336K
[   ]metamath_0.180.orig.tar.gz2024-08-09 20:17 434K
[   ]metamath_0.195.orig.tar.gz2024-08-09 20:17 456K