Index of /pool/universe/m/metamath

 NameLast modifiedSize

 Parent Directory   -
 metamath_0.180-1.debian.tar.xz 2020-01-03 01:13 2.0K
 metamath_0.180-1.dsc 2020-01-03 01:13 1.2K
 metamath_0.180-1_amd64.deb 2020-01-03 01:58 327K
 metamath_0.180.orig.tar.gz 2020-01-03 01:13 434K
 metamath_0.183-1.debian.tar.xz 2020-07-13 02:23 1.8K
 metamath_0.183-1.dsc 2020-07-13 02:23 1.2K
 metamath_0.183-1_amd64.deb 2020-07-13 02:38 323K
 metamath_0.183.orig.tar.gz 2020-07-13 02:23 437K