../ minisat-dbgsym_2.2.1-5_loong64.deb 02-Jul-2023 09:24 224380 minisat2_2.2.1-5_loong64.deb 02-Jul-2023 09:24 3992 minisat_2.2.1-5_loong64.deb 02-Jul-2023 09:24 81220