ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /debian/pool/main/k/kissat/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
kissat_4.0.3-2_riscv64.deb 369K11-Sep-2025 04:57
kissat_4.0.3-2_armhf.deb 344K11-Sep-2025 02:33
kissat_4.0.3-2_arm64.deb 332K11-Sep-2025 01:47
kissat_4.0.3-2_amd64.deb 388K11-Sep-2025 01:36
kissat_4.0.3-2_i386.deb 374K11-Sep-2025 00:40
kissat_4.0.3-2_armel.deb 340K10-Sep-2025 22:33
kissat_4.0.3-2_mips64el.deb 318K10-Sep-2025 21:42
kissat_4.0.3-2_ppc64el.deb 362K10-Sep-2025 20:45
kissat_4.0.3-2_s390x.deb 353K10-Sep-2025 20:45
kissat_4.0.3-2.dsc 198210-Sep-2025 18:55
kissat_4.0.3-2.debian.tar.xz 465610-Sep-2025 18:55
kissat_4.0.3.orig.tar.gz 519K18-Aug-2025 18:59
kissat_4.0.2-1_s390x.deb 340K13-Feb-2025 09:28
kissat_4.0.2-1_riscv64.deb 353K02-Feb-2025 18:18
kissat_4.0.2-1_armel.deb 329K29-Jan-2025 00:06
kissat_4.0.2-1_armhf.deb 331K28-Jan-2025 22:13
kissat_4.0.2-1_i386.deb 356K28-Jan-2025 22:08
kissat_4.0.2-1_amd64.deb 350K28-Jan-2025 22:08
kissat_4.0.2-1_arm64.deb 308K28-Jan-2025 22:03
kissat_4.0.2-1_ppc64el.deb 340K28-Jan-2025 22:03
kissat_4.0.2-1.debian.tar.xz 454028-Jan-2025 21:26
kissat_4.0.2-1.dsc 197128-Jan-2025 21:26
kissat_4.0.2.orig.tar.gz 519K28-Jan-2025 21:26