Index of /debian/pool/main/k/kissat
Name
Last modified
Size
Description
Parent Directory
-
kissat_4.0.2-1.debian.tar.xz
2025-01-28 21:26
4.4K
kissat_4.0.2-1.dsc
2025-01-28 21:26
1.9K
kissat_4.0.2.orig.tar.gz
2025-01-28 21:26
519K
kissat_4.0.2-1_ppc64el.deb
2025-01-28 22:03
340K
kissat_4.0.2-1_arm64.deb
2025-01-28 22:03
308K
kissat_4.0.2-1_amd64.deb
2025-01-28 22:08
350K
kissat_4.0.2-1_i386.deb
2025-01-28 22:08
356K
kissat_4.0.2-1_armhf.deb
2025-01-28 22:13
331K
kissat_4.0.2-1_armel.deb
2025-01-29 00:06
329K
kissat_4.0.2-1_riscv64.deb
2025-02-02 18:18
353K
kissat_4.0.2-1_s390x.deb
2025-02-13 09:28
340K
kissat_4.0.3-1.dsc
2025-08-18 18:59
1.9K
kissat_4.0.3-1.debian.tar.xz
2025-08-18 18:59
4.5K
kissat_4.0.3.orig.tar.gz
2025-08-18 18:59
519K
kissat_4.0.3-1_i386.deb
2025-08-18 19:24
376K
kissat_4.0.3-1_amd64.deb
2025-08-18 19:24
372K
kissat_4.0.3-1_ppc64el.deb
2025-08-18 19:24
360K
kissat_4.0.3-1_arm64.deb
2025-08-18 19:29
324K
kissat_4.0.3-1_armel.deb
2025-08-18 19:34
340K
kissat_4.0.3-1_armhf.deb
2025-08-18 19:34
343K
kissat_4.0.3-1_mips64el.deb
2025-08-19 06:52
316K
kissat_4.0.3-1_s390x.deb
2025-08-19 11:33
354K
kissat_4.0.3-1_riscv64.deb
2025-08-23 01:15
370K