Index of /pool/main/k/kissat/

directories: 0, files: 4

NameLast modifiedSize
../
kissat_4.0.2-1.dsc2025-08-29 09:51:091.92 KiB
kissat_4.0.2.orig.tar.gz2025-08-29 09:51:09519.47 KiB
kissat_4.0.2-1.debian.tar.xz2025-08-29 09:51:094.43 KiB
kissat_4.0.2-1_amd64.deb2025-08-29 12:51:59349.94 KiB