Index of /deepin/beige/pool/community/k/kissat/


../
kissat-dbgsym_4.0.2-1_amd64.deb                    15-Jul-2025 01:08      1M
kissat-dbgsym_4.0.2-1_arm64.deb                    15-Jul-2025 01:07      1M
kissat-dbgsym_4.0.2-1_i386.deb                     15-Jul-2025 01:07      1M
kissat-dbgsym_4.0.2-1_loong64.deb                  15-Jul-2025 01:08      1M
kissat-dbgsym_4.0.2-1_riscv64.deb                  15-Jul-2025 01:08      1M
kissat_4.0.2-1.debian.tar.xz                       18-Jul-2025 10:08    4536
kissat_4.0.2-1.dsc                                 18-Jul-2025 10:08    1088
kissat_4.0.2-1_amd64.deb                           15-Jul-2025 01:07    351K
kissat_4.0.2-1_arm64.deb                           15-Jul-2025 01:07    304K
kissat_4.0.2-1_i386.deb                            15-Jul-2025 01:08    355K
kissat_4.0.2-1_loong64.deb                         15-Jul-2025 01:07    335K
kissat_4.0.2-1_riscv64.deb                         15-Jul-2025 01:07    326K
kissat_4.0.2.orig.tar.gz                           18-Jul-2025 10:08    519K