Index of /Debian/pool/main/m/metamath/

../
metamath_0.180-1.debian.tar.xz                     28-Dec-2019 15:56    2088
metamath_0.180-1.dsc                               28-Dec-2019 15:56    1208
metamath_0.180-1_amd64.deb                         28-Dec-2019 15:56    323K
metamath_0.180-1_arm64.deb                         03-Jan-2020 03:26    325K
metamath_0.180-1_armhf.deb                         03-Jan-2020 03:26    297K
metamath_0.180-1_i386.deb                          03-Jan-2020 03:21    330K
metamath_0.180-1_mips64el.deb                      03-Jan-2020 15:12    336K
metamath_0.180-1_ppc64el.deb                       03-Jan-2020 03:26    370K
metamath_0.180-1_s390x.deb                         03-Jan-2020 03:26    292K
metamath_0.180.orig.tar.gz                         28-Dec-2019 15:56    434K