Index of /debian/pool/main/k/kissat/

Filename	Modification time	Size
kissat_4.0.1-3.debian.tar.xz	2024-10-15 15:59 CEST	4488 B
kissat_4.0.1-3.dsc	2024-10-15 15:59 CEST	1664 B
kissat_4.0.1-3_amd64.deb	2024-10-15 17:05 CEST	349 KiB
kissat_4.0.1-3_arm64.deb	2024-10-15 17:05 CEST	307 KiB
kissat_4.0.1-3_armel.deb	2024-10-15 17:05 CEST	329 KiB
kissat_4.0.1-3_armhf.deb	2024-10-15 17:10 CEST	331 KiB
kissat_4.0.1-3_i386.deb	2024-10-15 17:04 CEST	356 KiB
kissat_4.0.1-3_mips64el.deb	2024-10-15 17:10 CEST	302 KiB
kissat_4.0.1-3_ppc64el.deb	2024-10-15 17:04 CEST	339 KiB
kissat_4.0.1-3_riscv64.deb	2024-10-15 20:28 CEST	352 KiB
kissat_4.0.1-3_s390x.deb	2024-10-15 17:04 CEST	339 KiB
kissat_4.0.1.orig.tar.gz	2024-10-11 10:48 CEST	519 KiB