Index of /sites/debian.org/debian/pool/main/k/kissat
Name Last modified Size Description
Parent Directory -
kissat_4.0.2-1.debian.tar.xz 2025-01-28 18:26 4.4K
kissat_4.0.2-1.dsc 2025-01-28 18:26 1.9K
kissat_4.0.2-1_amd64.deb 2025-01-28 19:08 350K
kissat_4.0.2-1_i386.deb 2025-01-28 19:08 356K
kissat_4.0.2.orig.tar.gz 2025-01-28 18:26 519K