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

directories: 0, files: 21

NameLast modifiedSize
../
kissat_4.0.3.orig.tar.gz2025-08-18 16:59:06519.42 KiB
kissat_4.0.3-2_s390x.deb2025-09-10 18:45:37352.55 KiB
kissat_4.0.3-2_riscv64.deb2025-09-11 02:57:05368.65 KiB
kissat_4.0.3-2_ppc64el.deb2025-09-10 18:45:37361.79 KiB
kissat_4.0.3-2_i386.deb2025-09-10 22:40:05374.49 KiB
kissat_4.0.3-2_armhf.deb2025-09-11 00:33:57344.36 KiB
kissat_4.0.3-2_arm64.deb2025-09-10 23:47:06332.40 KiB
kissat_4.0.3-2_amd64.deb2025-09-10 23:36:43388.21 KiB
kissat_4.0.3-2.dsc2025-09-10 16:55:111.94 KiB
kissat_4.0.3-2.debian.tar.xz2025-09-10 16:55:114.55 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