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

directories: 0, files: 16

NameLast modifiedSize
../
kissat_4.0.4.orig.tar.gz2026-05-21 19:42:28519.85 KiB
kissat_4.0.4-1_arm64.deb2026-05-21 20:26:52374.58 KiB
kissat_4.0.4-1_amd64v3.deb2026-05-21 20:26:16398.05 KiB
kissat_4.0.4-1_amd64.deb2026-05-21 20:25:19394.43 KiB
kissat_4.0.4-1.dsc2026-05-21 19:42:281.96 KiB
kissat_4.0.4-1.debian.tar.xz2026-05-21 19:42:284.66 KiB
kissat_4.0.3.orig.tar.gz2025-10-28 00:51:39519.42 KiB
kissat_4.0.3-2_arm64.deb2025-10-28 07:31:26373.53 KiB
kissat_4.0.3-2_amd64v3.deb2025-10-28 01:24:52396.90 KiB
kissat_4.0.3-2_amd64.deb2025-10-28 01:11:17393.51 KiB
kissat_4.0.3-2.dsc2025-10-28 00:51:391.94 KiB
kissat_4.0.3-2.debian.tar.xz2025-10-28 00:51:394.55 KiB
kissat_4.0.2.orig.tar.gz2025-01-29 01:33:29519.47 KiB
kissat_4.0.2-1_arm64.deb2025-01-29 01:35:56356.39 KiB
kissat_4.0.2-1.dsc2025-01-29 01:33:291.92 KiB
kissat_4.0.2-1.debian.tar.xz2025-01-29 01:33:294.43 KiB