Index of /debian/pool/main/k/kissat/

File NameFile SizeDate
Parent directory/--
kissat_4.0.2-1.debian.tar.xz 454028-Jan-2025 17:26
kissat_4.0.2-1.dsc 197128-Jan-2025 17:26
kissat_4.0.2-1_amd64.deb 350K28-Jan-2025 18:08
kissat_4.0.2-1_arm64.deb 308K28-Jan-2025 18:03
kissat_4.0.2-1_i386.deb 356K28-Jan-2025 18:08
kissat_4.0.2-1_riscv64.deb 353K02-Feb-2025 14:18
kissat_4.0.2.orig.tar.gz 519K28-Jan-2025 17:26