../ minisat+-dbgsym_1.0-4_loong64.deb 29-Oct-2024 04:16 1052136 minisat+_1.0-4.debian.tar.xz 07-Nov-2024 20:29 4176 minisat+_1.0-4.dsc 07-Nov-2024 20:29 1984 minisat+_1.0-4_loong64.deb 29-Oct-2024 04:16 131540 minisat+_1.0.orig.tar.gz 07-Nov-2024 20:29 79990