Index of /pool/universe/k/kissat

 NameLast modifiedSizeDescription
 Parent Directory  -  
 kissat_4.0.2-1.debian.tar.xz2025-01-29 08:33 4.4K 
 kissat_4.0.2-1.dsc2025-01-29 08:33 1.9K 
 kissat_4.0.2.orig.tar.gz2025-01-29 08:33 519K