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

      Name                         Last modified      Size  
Parent Directory - kissat_4.0.1.orig.tar.gz 2024-10-11 11:48 519K kissat_4.0.1-3_i386.deb 2024-10-15 18:04 356K kissat_4.0.1-3_riscv64.deb 2024-10-15 21:28 352K kissat_4.0.1-3_amd64.deb 2024-10-15 18:05 349K kissat_4.0.1-3_s390x.deb 2024-10-15 18:04 339K kissat_4.0.1-3_ppc64el.deb 2024-10-15 18:04 339K kissat_4.0.1-3_armhf.deb 2024-10-15 18:10 331K kissat_4.0.1-3_armel.deb 2024-10-15 18:05 329K kissat_4.0.1-3_arm64.deb 2024-10-15 18:05 307K kissat_4.0.1-3_mips64el.deb 2024-10-15 18:10 302K kissat_4.0.1-3.debian.tar.xz 2024-10-15 16:59 4.4K kissat_4.0.1-3.dsc 2024-10-15 16:59 1.6K