Index of /kali/pool/main/k/kissat/


../
kissat_4.0.3-1.debian.tar.xz                       18-Aug-2025 22:59    4592
kissat_4.0.3-1.dsc                                 18-Aug-2025 22:59    1982
kissat_4.0.3-1_amd64.deb                           18-Aug-2025 23:24    372K
kissat_4.0.3-1_arm64.deb                           18-Aug-2025 23:29    324K
kissat_4.0.3-1_armhf.deb                           18-Aug-2025 23:34    343K
kissat_4.0.3-1_i386.deb                            18-Aug-2025 23:24    376K
kissat_4.0.3-2.debian.tar.xz                       10-Sep-2025 22:55    4656
kissat_4.0.3-2.dsc                                 10-Sep-2025 22:55    1982
kissat_4.0.3-2_amd64.deb                           11-Sep-2025 05:36    388K
kissat_4.0.3-2_arm64.deb                           11-Sep-2025 05:47    332K
kissat_4.0.3-2_armhf.deb                           11-Sep-2025 06:33    344K
kissat_4.0.3-2_i386.deb                            11-Sep-2025 04:40    374K
kissat_4.0.3.orig.tar.gz                           18-Aug-2025 22:59    519K