mirrors.hosterion.ro

  1. Home
  2. debian
  3. pool
  4. main
  5. k
  6. kissat
Name Last Modified Size
Parent Directory/   -  
kissat_4.0.2-1.debian.tar.xz 2025-01-28 17:26 4.4K
kissat_4.0.2-1.dsc 2025-01-28 17:26 1.9K
kissat_4.0.2-1_amd64.deb 2025-01-28 18:08 349.9K
kissat_4.0.2-1_arm64.deb 2025-01-28 18:03 307.7K
kissat_4.0.2-1_armel.deb 2025-01-28 20:06 328.7K
kissat_4.0.2-1_armhf.deb 2025-01-28 18:13 331.3K
kissat_4.0.2-1_i386.deb 2025-01-28 18:08 355.9K
kissat_4.0.2-1_ppc64el.deb 2025-01-28 18:03 339.6K
kissat_4.0.2-1_riscv64.deb 2025-02-02 14:18 352.6K
kissat_4.0.2-1_s390x.deb 2025-02-13 05:28 339.7K
kissat_4.0.2.orig.tar.gz 2025-01-28 17:26 519.5K
kissat_4.0.3-2.debian.tar.xz 2025-09-10 14:55 4.5K
kissat_4.0.3-2.dsc 2025-09-10 14:55 1.9K
kissat_4.0.3-2_amd64.deb 2025-09-10 21:36 388.2K
kissat_4.0.3-2_arm64.deb 2025-09-10 21:47 332.4K
kissat_4.0.3-2_armel.deb 2025-09-10 18:33 339.9K
kissat_4.0.3-2_armhf.deb 2025-09-10 22:33 344.4K
kissat_4.0.3-2_i386.deb 2025-09-10 20:40 374.5K
kissat_4.0.3-2_mips64el.deb 2025-09-10 17:42 317.8K
kissat_4.0.3-2_ppc64el.deb 2025-09-10 16:45 361.8K
kissat_4.0.3-2_riscv64.deb 2025-09-11 00:57 368.6K
kissat_4.0.3-2_s390x.deb 2025-09-10 16:45 352.6K
kissat_4.0.3.orig.tar.gz 2025-08-18 14:59 519.4K