Name Last modified Size Description![[PARENTDIR]](/strapdown/icons/glyphicon-circle-arrow-up.svg){kind=icon}
Parent Directory -
![[ ]](/icons/compressed.gif){kind=icon}
kissat_4.0.1.orig.tar.gz 2024-10-11 10:48 519K
![[ ]](/strapdown/icons/glyphicon-file.svg){kind=icon}
kissat_4.0.1-3_i386.deb 2024-10-15 17:04 356K
kissat_4.0.1-3_amd64.deb 2024-10-15 17:05 349K
kissat_4.0.1-3.dsc 2024-10-15 15:59 1.6K
kissat_4.0.1-3.debian.tar.xz 2024-10-15 15:59 4.4K