Index of /debian/pool/main/k/kissat/
../
kissat_4.0.1-3.debian.tar.xz 15-Oct-2024 13:59 4488
kissat_4.0.1-3.dsc 15-Oct-2024 13:59 1664
kissat_4.0.1-3_amd64.deb 15-Oct-2024 15:05 357440
kissat_4.0.1-3_arm64.deb 15-Oct-2024 15:05 314860
kissat_4.0.1-3_armel.deb 15-Oct-2024 15:05 336660
kissat_4.0.1-3_armhf.deb 15-Oct-2024 15:10 338784
kissat_4.0.1-3_i386.deb 15-Oct-2024 15:04 364424
kissat_4.0.1-3_mips64el.deb 15-Oct-2024 15:10 308964
kissat_4.0.1-3_ppc64el.deb 15-Oct-2024 15:04 347120
kissat_4.0.1-3_riscv64.deb 15-Oct-2024 18:28 360160
kissat_4.0.1-3_s390x.deb 15-Oct-2024 15:04 347416
kissat_4.0.1.orig.tar.gz 11-Oct-2024 08:48 531537
kissat_4.0.2-1.debian.tar.xz 28-Jan-2025 17:26 4540
kissat_4.0.2-1.dsc 28-Jan-2025 17:26 1971
kissat_4.0.2-1_amd64.deb 28-Jan-2025 18:08 358340
kissat_4.0.2-1_arm64.deb 28-Jan-2025 18:03 315036
kissat_4.0.2-1_armel.deb 28-Jan-2025 20:06 336612
kissat_4.0.2-1_armhf.deb 28-Jan-2025 18:13 339288
kissat_4.0.2-1_i386.deb 28-Jan-2025 18:08 364396
kissat_4.0.2-1_mips64el.deb 28-Jan-2025 19:00 309932
kissat_4.0.2-1_ppc64el.deb 28-Jan-2025 18:03 347712
kissat_4.0.2-1_riscv64.deb 02-Feb-2025 14:18 361060
kissat_4.0.2-1_s390x.deb 13-Feb-2025 05:28 347832
kissat_4.0.2.orig.tar.gz 28-Jan-2025 17:26 531941
kissat_4.0.3-1.debian.tar.xz 18-Aug-2025 14:59 4592
kissat_4.0.3-1.dsc 18-Aug-2025 14:59 1982
kissat_4.0.3-1_amd64.deb 18-Aug-2025 15:24 380432
kissat_4.0.3-1_arm64.deb 18-Aug-2025 15:29 331392
kissat_4.0.3-1_armel.deb 18-Aug-2025 15:34 348008
kissat_4.0.3-1_armhf.deb 18-Aug-2025 15:34 351280
kissat_4.0.3-1_i386.deb 18-Aug-2025 15:24 384996
kissat_4.0.3-1_mips64el.deb 19-Aug-2025 02:52 323404
kissat_4.0.3-1_ppc64el.deb 18-Aug-2025 15:24 368308
kissat_4.0.3-1_riscv64.deb 22-Aug-2025 21:15 379076
kissat_4.0.3-1_s390x.deb 19-Aug-2025 07:33 362492
kissat_4.0.3-2+b1_arm64.deb 20-Jan-2026 15:46 331672
kissat_4.0.3-2.debian.tar.xz 10-Sep-2025 14:55 4656
kissat_4.0.3-2.dsc 10-Sep-2025 14:55 1982
kissat_4.0.3-2_amd64.deb 10-Sep-2025 21:36 397532
kissat_4.0.3-2_arm64.deb 10-Sep-2025 21:47 340376
kissat_4.0.3-2_armel.deb 10-Sep-2025 18:33 348024
kissat_4.0.3-2_armhf.deb 10-Sep-2025 22:33 352624
kissat_4.0.3-2_i386.deb 10-Sep-2025 20:40 383480
kissat_4.0.3-2_loong64.deb 21-Dec-2025 13:42 361084
kissat_4.0.3-2_mips64el.deb 10-Sep-2025 17:42 325444
kissat_4.0.3-2_ppc64el.deb 10-Sep-2025 16:45 370468
kissat_4.0.3-2_riscv64.deb 11-Sep-2025 00:57 377496
kissat_4.0.3-2_s390x.deb 10-Sep-2025 16:45 361016
kissat_4.0.3.orig.tar.gz 18-Aug-2025 14:59 531881
kissat_4.0.4-1.debian.tar.xz 23-Mar-2026 10:15 4776
kissat_4.0.4-1.dsc 23-Mar-2026 10:15 2007
kissat_4.0.4-1_amd64.deb 23-Mar-2026 15:05 383344
kissat_4.0.4-1_arm64.deb 23-Mar-2026 10:30 331820
kissat_4.0.4-1_armhf.deb 23-Mar-2026 10:30 354044
kissat_4.0.4-1_i386.deb 23-Mar-2026 12:08 384740
kissat_4.0.4-1_loong64.deb 23-Mar-2026 10:30 363240
kissat_4.0.4-1_ppc64el.deb 23-Mar-2026 11:06 370912
kissat_4.0.4-1_riscv64.deb 23-Mar-2026 11:11 378700
kissat_4.0.4-1_s390x.deb 23-Mar-2026 16:22 361788
kissat_4.0.4.orig.tar.gz 23-Mar-2026 10:15 532329