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