../ minisat-dbgsym_2.2.1-5+b1_riscv64.deb 27-May-2024 20:12 192320 minisat2_2.2.1-5+b1_riscv64.deb 27-May-2024 20:12 4500 minisat2_2.2.1-5.debian.tar.xz 08-May-2024 15:45 9348 minisat2_2.2.1-5.dsc 08-May-2024 15:45 1893 minisat2_2.2.1.orig.tar.gz 08-May-2024 15:45 44229 minisat_2.2.1-5+b1_riscv64.deb 27-May-2024 20:12 145532