Index of /ubuntu-ports/pool/universe/k/kissat

 Name                           Last modified      Size  Description
 Parent Directory                                    -   
 kissat_4.0.2-1.debian.tar.xz   2025-01-29 01:33  4.4K  
 kissat_4.0.2-1.dsc             2025-01-29 01:33  1.9K  
 kissat_4.0.2-1_arm64.deb       2025-01-29 01:35  356K  
 kissat_4.0.2-1_armhf.deb       2025-01-29 01:36  369K  
 kissat_4.0.2-1_riscv64.deb     2025-01-29 01:36  390K  
 kissat_4.0.2-1_s390x.deb       2025-01-29 01:37  381K  
 kissat_4.0.2.orig.tar.gz       2025-01-29 01:33  519K  
 kissat_4.0.3-2.debian.tar.xz   2025-10-28 00:51  4.5K  
 kissat_4.0.3-2.dsc             2025-10-28 00:51  1.9K  
 kissat_4.0.3-2_arm64.deb       2025-10-28 07:31  374K  
 kissat_4.0.3-2_armhf.deb       2025-10-28 07:43  383K  
 kissat_4.0.3-2_ppc64el.deb     2025-10-28 07:56  442K  
 kissat_4.0.3-2_riscv64.deb     2025-10-29 08:29  407K  
 kissat_4.0.3-2_s390x.deb       2025-10-28 13:48  397K  
 kissat_4.0.3.orig.tar.gz       2025-10-28 00:51  519K  
 kissat_4.0.4-1.debian.tar.xz   2026-05-21 19:42  4.7K  
 kissat_4.0.4-1.dsc             2026-05-21 19:42  2.0K  
 kissat_4.0.4-1_arm64.deb       2026-05-21 20:26  375K  
 kissat_4.0.4-1_armhf.deb       2026-05-21 20:27  385K  
 kissat_4.0.4-1_ppc64el.deb     2026-05-21 20:28  443K  
 kissat_4.0.4-1_riscv64.deb     2026-05-21 22:47  408K  
 kissat_4.0.4-1_s390x.deb       2026-05-21 21:26  397K  
 kissat_4.0.4.orig.tar.gz       2026-05-21 19:42  520K