../ kissat_4.0.3-2.debian.tar.xz 22-Jul-2026 19:24 4656 kissat_4.0.3-2.dsc 22-Jul-2026 19:24 1982 kissat_4.0.3-2_amd64.deb 22-Jul-2026 19:24 394K kissat_4.0.3.orig.tar.gz 22-Jul-2026 19:24 519K