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

 Name                           Last modified      Size  
 Parent Directory                                    -   
 kissat_4.0.2-1.dsc             2025-01-28 17:26  1.9K  
 kissat_4.0.3-2.dsc             2025-09-10 14:55  1.9K  
 kissat_4.0.2-1.debian.tar.xz   2025-01-28 17:26  4.4K  
 kissat_4.0.3-2.debian.tar.xz   2025-09-10 14:55  4.5K  
 kissat_4.0.2-1_arm64.deb       2025-01-28 18:03  308K  
 kissat_4.0.3-2_mips64el.deb    2025-09-10 17:42  318K  
 kissat_4.0.2-1_armel.deb       2025-01-28 20:06  329K  
 kissat_4.0.2-1_armhf.deb       2025-01-28 18:13  331K  
 kissat_4.0.3-2_arm64.deb       2025-09-10 21:47  332K  
 kissat_4.0.2-1_ppc64el.deb     2025-01-28 18:03  340K  
 kissat_4.0.2-1_s390x.deb       2025-02-13 05:28  340K  
 kissat_4.0.3-2_armel.deb       2025-09-10 18:33  340K  
 kissat_4.0.3-2_armhf.deb       2025-09-10 22:33  344K  
 kissat_4.0.2-1_amd64.deb       2025-01-28 18:08  350K  
 kissat_4.0.3-2_s390x.deb       2025-09-10 16:45  353K  
 kissat_4.0.2-1_riscv64.deb     2025-02-02 14:18  353K  
 kissat_4.0.2-1_i386.deb        2025-01-28 18:08  356K  
 kissat_4.0.3-2_ppc64el.deb     2025-09-10 16:45  362K  
 kissat_4.0.3-2_riscv64.deb     2025-09-11 00:57  369K  
 kissat_4.0.3-2_i386.deb        2025-09-10 20:40  374K  
 kissat_4.0.3-2_amd64.deb       2025-09-10 21:36  388K  
 kissat_4.0.3.orig.tar.gz       2025-08-18 14:59  519K  
 kissat_4.0.2.orig.tar.gz       2025-01-28 17:26  519K