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

directories: 0, files: 23

NameLast modifiedSize
../
kissat_4.0.3.orig.tar.gz2025-08-18 16:59:06519.42 KiB
kissat_4.0.3-1_s390x.deb2025-08-19 09:33:56354.00 KiB
kissat_4.0.3-1_riscv64.deb2025-08-22 23:15:45370.19 KiB
kissat_4.0.3-1_ppc64el.deb2025-08-18 17:24:39359.68 KiB
kissat_4.0.3-1_mips64el.deb2025-08-19 04:52:00315.82 KiB
kissat_4.0.3-1_i386.deb2025-08-18 17:24:36375.97 KiB
kissat_4.0.3-1_armhf.deb2025-08-18 17:34:52343.05 KiB
kissat_4.0.3-1_armel.deb2025-08-18 17:34:49339.85 KiB
kissat_4.0.3-1_arm64.deb2025-08-18 17:29:44323.62 KiB
kissat_4.0.3-1_amd64.deb2025-08-18 17:24:38371.52 KiB
kissat_4.0.3-1.dsc2025-08-18 16:59:061.94 KiB
kissat_4.0.3-1.debian.tar.xz2025-08-18 16:59:064.48 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