Index of /pub/linux/debian/pool/main/k/kissat
Name Last modified Size
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
kissat_4.0.2-1.debian.tar.xz 2025-01-28 17:26 4.4K
![[TXT]](/icons/text.gif)
kissat_4.0.2-1.dsc 2025-01-28 17:26 1.9K
kissat_4.0.2-1_amd64.deb 2025-01-28 18:08 350K
kissat_4.0.2-1_arm64.deb 2025-01-28 18:03 308K
kissat_4.0.2-1_armel.deb 2025-01-28 20:06 329K
kissat_4.0.2-1_armhf.deb 2025-01-28 18:13 331K
kissat_4.0.2-1_i386.deb 2025-01-28 18:08 356K
kissat_4.0.2-1_ppc64el.deb 2025-01-28 18:03 340K
kissat_4.0.2-1_riscv64.deb 2025-02-02 14:18 353K
kissat_4.0.2-1_s390x.deb 2025-02-13 05:28 340K
![[ ]](/icons/compressed.gif)
kissat_4.0.2.orig.tar.gz 2025-01-28 17:26 519K
kissat_4.0.3-1.debian.tar.xz 2025-08-18 14:59 4.5K
kissat_4.0.3-1.dsc 2025-08-18 14:59 1.9K
kissat_4.0.3-1_amd64.deb 2025-08-18 15:24 372K
kissat_4.0.3-1_arm64.deb 2025-08-18 15:29 324K
kissat_4.0.3-1_armel.deb 2025-08-18 15:34 340K
kissat_4.0.3-1_armhf.deb 2025-08-18 15:34 343K
kissat_4.0.3-1_i386.deb 2025-08-18 15:24 376K
kissat_4.0.3-1_mips64el.deb 2025-08-19 02:52 316K
kissat_4.0.3-1_ppc64el.deb 2025-08-18 15:24 360K
kissat_4.0.3-1_riscv64.deb 2025-08-22 21:15 370K
kissat_4.0.3-1_s390x.deb 2025-08-19 07:33 354K
kissat_4.0.3-2.debian.tar.xz 2025-09-10 14:55 4.5K
kissat_4.0.3-2.dsc 2025-09-10 14:55 1.9K
kissat_4.0.3-2_amd64.deb 2025-09-10 21:36 388K
kissat_4.0.3-2_arm64.deb 2025-09-10 21:47 332K
kissat_4.0.3-2_armel.deb 2025-09-10 18:33 340K
kissat_4.0.3-2_armhf.deb 2025-09-10 22:33 344K
kissat_4.0.3-2_i386.deb 2025-09-10 20:40 374K
kissat_4.0.3-2_mips64el.deb 2025-09-10 17:42 318K
kissat_4.0.3-2_ppc64el.deb 2025-09-10 16:45 362K
kissat_4.0.3-2_riscv64.deb 2025-09-11 00:57 369K
kissat_4.0.3-2_s390x.deb 2025-09-10 16:45 353K
kissat_4.0.3.orig.tar.gz 2025-08-18 14:59 519K