../ kissat_4.0.1-3.debian.tar.xz 31-Oct-2024 18:52 4488 kissat_4.0.1-3.dsc 31-Oct-2024 18:52 1664 kissat_4.0.1-3_arm64.deb 01-Nov-2024 12:33 363850 kissat_4.0.1-3_armhf.deb 01-Nov-2024 12:34 377530 kissat_4.0.1-3_riscv64.deb 02-Nov-2024 16:22 398798 kissat_4.0.1-3_s390x.deb 01-Nov-2024 12:37 389366 kissat_4.0.1.orig.tar.gz 31-Oct-2024 18:52 531537