Index of /pool/universe/k/kissat
Name
Last modified
Size
Parent Directory
-
kissat_4.0.2-1.debian.tar.xz
29-Jan-2025 01:33
4.4K
kissat_4.0.2-1.dsc
29-Jan-2025 01:33
1.9K
kissat_4.0.2.orig.tar.gz
29-Jan-2025 01:33
519K
![[ICO]](/icons/blank.png){kind=icon}
![[DIR]](/icons/arrow_up.png){kind=icon}
![[ ]](/icons/page.png){kind=icon}
![[ ]](/icons/page_white_compressed.png){kind=icon}