Index of ftp://debian.balt.net/debian/pool/main/m/metamath

[DIR] Parent Directory

[ ] metamath_0.195-1_amd64.deb  335.59Kb  January 1 2021
[ ] metamath_0.195-1_arm64.deb  332.64Kb  January 1 2021
[ ] metamath_0.195-1.debian.tar.xz  1.88Kb  January 1 2021
[ ] metamath_0.195-1.dsc  1.18Kb  January 1 2021
[ ] metamath_0.195-1_i386.deb  341.04Kb  January 1 2021
[ ] metamath_0.195-1_mips64el.deb  347.38Kb  January 1 2021
[ ] metamath_0.195-1_ppc64el.deb  382.76Kb  January 1 2021
[ ] metamath_0.195-1_riscv64.deb  384.36Kb  July 28 2023 at 17:23
[ GZ] metamath_0.195.orig.tar.gz  455.93Kb  January 1 2021