/debian/pool/main/m/metamath/

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