../ minisat+_1.0-4build1.debian.tar.xz 22-Mar-2020 17:10 4252 minisat+_1.0-4build1.dsc 22-Mar-2020 17:10 2033 minisat+_1.0-4build1_riscv64.deb 21-Aug-2024 14:35 159K minisat+_1.0-5.debian.tar.xz 31-Oct-2024 19:11 4448 minisat+_1.0-5.dsc 31-Oct-2024 19:11 1979 minisat+_1.0-5_riscv64.deb 13-Jun-2025 17:16 158K minisat+_1.0.orig.tar.gz 12-Nov-2011 09:20 78K