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

../
kissat_4.0.2-1.debian.tar.xz                       28-Jan-2025 20:26    4540
kissat_4.0.2-1.dsc                                 28-Jan-2025 20:26    1971
kissat_4.0.2-1_amd64.deb                           28-Jan-2025 21:08    350K
kissat_4.0.2-1_arm64.deb                           28-Jan-2025 21:03    308K
kissat_4.0.2.orig.tar.gz                           28-Jan-2025 20:26    519K
kissat_4.0.3-2+b1_arm64.deb                        20-Jan-2026 18:46    324K
kissat_4.0.3-2.debian.tar.xz                       10-Sep-2025 17:55    4656
kissat_4.0.3-2.dsc                                 10-Sep-2025 17:55    1982
kissat_4.0.3-2_amd64.deb                           11-Sep-2025 00:36    388K
kissat_4.0.3.orig.tar.gz                           18-Aug-2025 17:59    519K