Studenten Net Twente Mirror service

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

Filename Modification time Size
kissat_4.0.2-1.debian.tar.xz 4540 B
kissat_4.0.2-1.dsc 1971 B
kissat_4.0.2-1_arm64.deb 356 KiB
kissat_4.0.2.orig.tar.gz 519 KiB
kissat_4.0.3-2.debian.tar.xz 4656 B
kissat_4.0.3-2.dsc 1982 B
kissat_4.0.3-2_amd64.deb 394 KiB
kissat_4.0.3-2_amd64v3.deb 397 KiB
kissat_4.0.3-2_arm64.deb 374 KiB
kissat_4.0.3.orig.tar.gz 519 KiB
kissat_4.0.4-1.debian.tar.xz 4776 B
kissat_4.0.4-1.dsc 2007 B
kissat_4.0.4-1_amd64.deb 394 KiB
kissat_4.0.4-1_amd64v3.deb 398 KiB
kissat_4.0.4-1_arm64.deb 375 KiB
kissat_4.0.4.orig.tar.gz 520 KiB