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

 Name                           Last modified      Size  Description
 Parent Directory                                    -   
 kissat_4.0.2.orig.tar.gz       2025-01-29 01:33  519K  
 kissat_4.0.2-1_s390x.deb       2025-01-29 01:37  381K  
 kissat_4.0.2-1_riscv64.deb     2025-01-29 01:36  390K  
 kissat_4.0.2-1_armhf.deb       2025-01-29 01:36  369K  
 kissat_4.0.2-1_arm64.deb       2025-01-29 01:35  356K  
 kissat_4.0.2-1.dsc             2025-01-29 01:33  1.9K  
 kissat_4.0.2-1.debian.tar.xz   2025-01-29 01:33  4.4K

Apache/2.4.41 (Ubuntu) Server at ftp.uni-erlangen.de Port 443