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