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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 kissat_4.0.2-1.debia..> 28-Jan-2025 17:26  4.4K  
 kissat_4.0.2-1.dsc      28-Jan-2025 17:26  1.9K  
 kissat_4.0.2-1_amd64..> 28-Jan-2025 18:08  350K  
 kissat_4.0.2-1_arm64..> 28-Jan-2025 18:03  308K  
 kissat_4.0.2-1_armel..> 28-Jan-2025 20:06  329K  
 kissat_4.0.2-1_armhf..> 28-Jan-2025 18:13  331K  
 kissat_4.0.2-1_i386.deb 28-Jan-2025 18:08  356K  
 kissat_4.0.2-1_mips6..> 28-Jan-2025 19:00  303K  
 kissat_4.0.2-1_ppc64..> 28-Jan-2025 18:03  340K  
 kissat_4.0.2-1_riscv..> 02-Feb-2025 14:18  353K  
 kissat_4.0.2-1_s390x..> 13-Feb-2025 05:28  340K  
 kissat_4.0.2.orig.ta..> 28-Jan-2025 17:26  519K