/debian/pool/main/k/kissat/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
kissat_4.0.1.orig.tar.gz519.1 KiB2024-Oct-11 08:48
kissat_4.0.1-3.dsc1.6 KiB2024-Oct-15 13:59
kissat_4.0.1-3.debian.tar.xz4.4 KiB2024-Oct-15 13:59
kissat_4.0.1-3_ppc64el.deb339.0 KiB2024-Oct-15 15:04
kissat_4.0.1-3_i386.deb355.9 KiB2024-Oct-15 15:04
kissat_4.0.1-3_amd64.deb349.1 KiB2024-Oct-15 15:05
kissat_4.0.1-3_armel.deb328.8 KiB2024-Oct-15 15:05
kissat_4.0.1-3_arm64.deb307.5 KiB2024-Oct-15 15:05
kissat_4.0.1-3_mips64el.deb301.7 KiB2024-Oct-15 15:10
kissat_4.0.1-3_riscv64.deb351.7 KiB2024-Oct-15 18:28