Welcome to mirror.aminidc.com
HTTP : http://mirror.aminidc.comFTP : ftp://mirror.aminidc.com
RSYNC : rsync://mirror.aminidc.com
Index of /debian/pool/main/k/kissat/
../ kissat_4.0.1-3.debian.tar.xz 15-Oct-2024 13:59 4488 kissat_4.0.1-3.dsc 15-Oct-2024 13:59 1664 kissat_4.0.1-3_amd64.deb 15-Oct-2024 15:05 357440 kissat_4.0.1-3_arm64.deb 15-Oct-2024 15:05 314860 kissat_4.0.1-3_armel.deb 15-Oct-2024 15:05 336660 kissat_4.0.1-3_armhf.deb 15-Oct-2024 15:10 338784 kissat_4.0.1-3_i386.deb 15-Oct-2024 15:04 364424 kissat_4.0.1-3_mips64el.deb 15-Oct-2024 15:10 308964 kissat_4.0.1-3_ppc64el.deb 15-Oct-2024 15:04 347120 kissat_4.0.1-3_riscv64.deb 15-Oct-2024 18:28 360160 kissat_4.0.1-3_s390x.deb 15-Oct-2024 15:04 347416 kissat_4.0.1.orig.tar.gz 11-Oct-2024 08:48 531537 kissat_4.0.2-1.debian.tar.xz 28-Jan-2025 17:26 4540 kissat_4.0.2-1.dsc 28-Jan-2025 17:26 1971 kissat_4.0.2-1_amd64.deb 28-Jan-2025 18:08 358340 kissat_4.0.2-1_arm64.deb 28-Jan-2025 18:03 315036 kissat_4.0.2-1_armel.deb 28-Jan-2025 20:06 336612 kissat_4.0.2-1_armhf.deb 28-Jan-2025 18:13 339288 kissat_4.0.2-1_i386.deb 28-Jan-2025 18:08 364396 kissat_4.0.2-1_mips64el.deb 28-Jan-2025 19:00 309932 kissat_4.0.2-1_ppc64el.deb 28-Jan-2025 18:03 347712 kissat_4.0.2.orig.tar.gz 28-Jan-2025 17:26 531941