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

directories: 0, files: 22

NameLast modifiedSize
../
kissat_4.0.4.orig.tar.gz2026-03-23 11:15:10519.85 KiB
kissat_4.0.4-1_s390x.deb2026-03-23 17:22:09353.31 KiB
kissat_4.0.4-1_riscv64.deb2026-03-23 12:11:46369.82 KiB
kissat_4.0.4-1_ppc64el.deb2026-03-23 12:06:43362.22 KiB
kissat_4.0.4-1_loong64.deb2026-03-23 11:30:25354.73 KiB
kissat_4.0.4-1_i386.deb2026-03-23 13:08:01375.72 KiB
kissat_4.0.4-1_armhf.deb2026-03-23 11:30:23345.75 KiB
kissat_4.0.4-1_arm64.deb2026-03-23 11:30:25324.04 KiB
kissat_4.0.4-1_amd64.deb2026-03-23 16:05:01374.36 KiB
kissat_4.0.4-1.dsc2026-03-23 11:15:101.96 KiB
kissat_4.0.4-1.debian.tar.xz2026-03-23 11:15:104.66 KiB
kissat_4.0.2.orig.tar.gz2025-01-28 18:26:38519.47 KiB
kissat_4.0.2-1_s390x.deb2025-02-13 06:28:20339.68 KiB
kissat_4.0.2-1_riscv64.deb2025-02-02 15:18:03352.60 KiB
kissat_4.0.2-1_ppc64el.deb2025-01-28 19:03:24339.56 KiB
kissat_4.0.2-1_i386.deb2025-01-28 19:08:41355.86 KiB
kissat_4.0.2-1_armhf.deb2025-01-28 19:13:44331.34 KiB
kissat_4.0.2-1_armel.deb2025-01-28 21:06:45328.72 KiB
kissat_4.0.2-1_arm64.deb2025-01-28 19:03:35307.65 KiB
kissat_4.0.2-1_amd64.deb2025-01-28 19:08:37349.94 KiB
kissat_4.0.2-1.dsc2025-01-28 18:26:381.92 KiB
kissat_4.0.2-1.debian.tar.xz2025-01-28 18:26:384.43 KiB