File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
metamath_0.195.orig.tar.gz455.9 KiB2021-Jan-01 11:43
metamath_0.195-1_s390x.deb302.6 KiB2021-Jan-01 12:04
metamath_0.195-1_ppc64el.deb382.8 KiB2021-Jan-01 12:14
metamath_0.195-1_mipsel.deb352.6 KiB2021-Jan-01 14:14
metamath_0.195-1_mips64el.deb347.4 KiB2021-Jan-01 12:59
metamath_0.195-1_i386.deb341.0 KiB2021-Jan-01 12:14
metamath_0.195-1_armhf.deb307.6 KiB2021-Jan-01 12:14
metamath_0.195-1_armel.deb314.7 KiB2021-Jan-01 12:14
metamath_0.195-1_arm64.deb332.6 KiB2021-Jan-01 12:14
metamath_0.195-1_amd64.deb335.6 KiB2021-Jan-01 12:14
metamath_0.195-1.dsc1.2 KiB2021-Jan-01 11:43
metamath_0.195-1.debian.tar.xz1.9 KiB2021-Jan-01 11:43
metamath_0.195-1+b1_riscv64.deb384.7 KiB2024-Feb-11 13:44
metamath_0.195-1+b1_arm64.deb342.1 KiB2024-Oct-28 09:55