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

NameLast ModifiedSizeType
../ -  Directory
kissat_4.0.2-1.debian.tar.xz2025-Jan-28 19:33:294.4Kapplication/octet-stream
kissat_4.0.2-1.dsc2025-Jan-28 19:33:291.9Kapplication/octet-stream
kissat_4.0.2.orig.tar.gz2025-Jan-28 19:33:29519.4Kapplication/octet-stream