Index of /ubuntu-ports/pool/universe/k/kissat/
../
kissat_4.0.2-1.debian.tar.xz 29-Jan-2025 07:33 4540
kissat_4.0.2-1.dsc 29-Jan-2025 07:33 1971
kissat_4.0.2-1_arm64.deb 29-Jan-2025 07:35 356K
kissat_4.0.2-1_armhf.deb 29-Jan-2025 07:36 369K
kissat_4.0.2-1_riscv64.deb 29-Jan-2025 07:36 390K
kissat_4.0.2-1_s390x.deb 29-Jan-2025 07:37 381K
kissat_4.0.2.orig.tar.gz 29-Jan-2025 07:33 519K
kissat_4.0.3-2.debian.tar.xz 28-Oct-2025 06:51 4656
kissat_4.0.3-2.dsc 28-Oct-2025 06:51 1982
kissat_4.0.3-2_arm64.deb 28-Oct-2025 13:31 374K
kissat_4.0.3-2_armhf.deb 28-Oct-2025 13:43 383K
kissat_4.0.3-2_ppc64el.deb 28-Oct-2025 13:56 442K
kissat_4.0.3-2_riscv64.deb 29-Oct-2025 14:29 407K
kissat_4.0.3-2_s390x.deb 28-Oct-2025 19:48 397K
kissat_4.0.3.orig.tar.gz 28-Oct-2025 06:51 519K