Index of ftp://ftp.stw-bonn.de/pub/ubuntu/pool/universe/m/metamath

[DIR] Parent Directory

[ ] metamath_0.180-1_amd64.deb  327.30Kb  January 2 2020  [find mirrors]
[ ] metamath_0.180-1_arm64.deb  327.90Kb  January 2 2020  [find mirrors]
[ ] metamath_0.180-1_armhf.deb  300.27Kb  January 2 2020  [find mirrors]
[ ] metamath_0.180-1.debian.tar.xz  2.04Kb  January 2 2020  [find mirrors]
[ ] metamath_0.180-1.dsc  1.18Kb  January 2 2020  [find mirrors]
[ ] metamath_0.180-1_ppc64el.deb  371.81Kb  January 2 2020  [find mirrors]
[ ] metamath_0.180-1_riscv64.deb  346.17Kb  April 3 2020  [find mirrors]
[ ] metamath_0.180-1_s390x.deb  350.52Kb  January 2 2020  [find mirrors]
[ GZ] metamath_0.180.orig.tar.gz  434.39Kb  January 2 2020  [find mirrors]
[ ] metamath_0.195-1_amd64.deb  335.74Kb  January 1 2021  [find mirrors]
[ ] metamath_0.195-1_arm64.deb  332.49Kb  January 1 2021  [find mirrors]
[ ] metamath_0.195-1_armhf.deb  307.68Kb  January 1 2021  [find mirrors]
[ ] metamath_0.195-1.debian.tar.xz  1.88Kb  January 1 2021  [find mirrors]
[ ] metamath_0.195-1.dsc  1.18Kb  January 1 2021  [find mirrors]
[ ] metamath_0.195-1_ppc64el.deb  380.37Kb  January 1 2021  [find mirrors]
[ ] metamath_0.195-1_riscv64.deb  355.16Kb  January 1 2021  [find mirrors]
[ ] metamath_0.195-1_s390x.deb  360.85Kb  January 1 2021  [find mirrors]
[ GZ] metamath_0.195.orig.tar.gz  455.93Kb  January 1 2021  [find mirrors]