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

directories: 0, files: 12

NameLast modifiedSize
../
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_mips64el.deb2025-01-28 20:00:10302.67 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