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

../
kissat-dbgsym_4.0.2-1_amd64.deb                    14-Jul-2025 20:08             1467064
kissat-dbgsym_4.0.2-1_arm64.deb                    14-Jul-2025 20:07             1404472
kissat-dbgsym_4.0.2-1_i386.deb                     14-Jul-2025 20:07             1428032
kissat-dbgsym_4.0.2-1_loong64.deb                  14-Jul-2025 20:08             1481800
kissat-dbgsym_4.0.2-1_riscv64.deb                  14-Jul-2025 20:08             1323972
kissat_4.0.2-1.debian.tar.xz                       18-Jul-2025 05:08                4536
kissat_4.0.2-1.dsc                                 18-Jul-2025 05:08                1088
kissat_4.0.2-1_amd64.deb                           14-Jul-2025 20:07              359448
kissat_4.0.2-1_arm64.deb                           14-Jul-2025 20:07              311784
kissat_4.0.2-1_i386.deb                            14-Jul-2025 20:08              363268
kissat_4.0.2-1_loong64.deb                         14-Jul-2025 20:07              343372
kissat_4.0.2-1_riscv64.deb                         14-Jul-2025 20:07              333544
kissat_4.0.2.orig.tar.gz                           18-Jul-2025 05:08              531941