../ kissat_4.0.3-ok1.debian.tar.xz 07-May-2026 13:37 4152 kissat_4.0.3-ok1.dsc 07-May-2026 13:37 1789 kissat_4.0.3-ok1_amd64.deb 12-May-2026 02:00 334254 kissat_4.0.3-ok1_arm64.deb 30-May-2026 21:16 321906 kissat_4.0.3-ok1_loong64.deb 08-May-2026 04:12 368736 kissat_4.0.3-ok1_riscv64.deb 13-Jun-2026 12:07 344312 kissat_4.0.3.orig.tar.gz 07-May-2026 13:37 531881