../ kissat_4.0.2-1_amd64.deb 28-Jan-2025 18:08 358340 kissat_4.0.2-1_arm64.deb 28-Jan-2025 18:03 315036 kissat_4.0.2-1_armel.deb 28-Jan-2025 20:06 336612 kissat_4.0.2-1_armhf.deb 28-Jan-2025 18:13 339288 kissat_4.0.2-1_i386.deb 28-Jan-2025 18:08 364396 kissat_4.0.2-1_mips64el.deb 28-Jan-2025 19:00 309932 kissat_4.0.2-1_ppc64el.deb 28-Jan-2025 18:03 347712 kissat_4.0.2-1_s390x.deb 13-Feb-2025 05:28 347832