../ kissat_4.0.2-ok1.debian.tar.xz 04-Jan-2026 08:32 4568 kissat_4.0.2-ok1.dsc 04-Jan-2026 08:32 1778 kissat_4.0.2-ok1_amd64.deb 04-Jan-2026 10:54 335528 kissat_4.0.2-ok1_arm64.deb 05-Jan-2026 04:19 309372 kissat_4.0.2-ok1_loong64.deb 04-Jan-2026 10:34 344980 kissat_4.0.2-ok1_riscv64.deb 08-Jan-2026 12:20 312960 kissat_4.0.2.orig.tar.gz 04-Jan-2026 08:32 531941