../ metamath-dbgsym_0.195-1_riscv64.deb 26-Aug-2026 23:01 508580 metamath_0.195-1.debian.tar.xz 08-May-2024 15:42 1928 metamath_0.195-1.dsc 08-May-2024 15:42 1208 metamath_0.195-1_riscv64.buildinfo 26-Aug-2026 23:01 5060 metamath_0.195-1_riscv64.deb 26-Aug-2026 23:01 364784 metamath_0.195.orig.tar.gz 08-May-2024 15:42 466876