../ minisat+_1.0-4.debian.tar.xz 26-Sep-2025 12:53 4176 minisat+_1.0-4.dsc 26-Sep-2025 12:53 1984 minisat+_1.0-4_amd64.deb 26-Sep-2025 12:53 155K minisat+_1.0-4_i386.deb 26-Sep-2025 12:53 156K minisat+_1.0-5.debian.tar.xz 27-Sep-2025 03:03 4448 minisat+_1.0-5.dsc 27-Sep-2025 03:03 1979 minisat+_1.0-5_amd64.deb 27-Sep-2025 03:03 146K minisat+_1.0-5_i386.deb 27-Sep-2025 03:03 145K minisat+_1.0.orig.tar.gz 26-Sep-2025 12:53 78K