../ minisat+-dbgsym_1.0-4+b1_riscv64.deb 27-May-2024 20:11 915640 minisat+_1.0-4+b1_riscv64.deb 27-May-2024 20:11 141104 minisat+_1.0-4.debian.tar.xz 08-May-2024 15:43 4176 minisat+_1.0-4.dsc 08-May-2024 15:43 1984 minisat+_1.0.orig.tar.gz 08-May-2024 15:43 79990