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

 Name                           Last modified      Size  Description
 Parent Directory                                    -   
 kissat_4.0.1-3.debian.tar.xz   2024-10-31 19:52  4.4K  
 kissat_4.0.1-3.dsc             2024-10-31 19:52  1.6K  
 kissat_4.0.1-3_arm64.deb       2024-11-01 13:33  355K  
 kissat_4.0.1-3_armhf.deb       2024-11-01 13:34  369K  
 kissat_4.0.1-3_riscv64.deb     2024-11-02 17:22  389K  
 kissat_4.0.1-3_s390x.deb       2024-11-01 13:37  380K  
 kissat_4.0.1.orig.tar.gz       2024-10-31 19:52  519K