../ minisat+_1.0-4.debian.tar.xz 25-Dec-2025 09:53 4176 minisat+_1.0-4.dsc 25-Dec-2025 09:53 1984 minisat+_1.0-4_amd64.deb 25-Dec-2025 09:53 155K minisat+_1.0-4_i386.deb 25-Dec-2025 09:53 156K minisat+_1.0-5.debian.tar.xz 24-Dec-2025 15:38 4448 minisat+_1.0-5.dsc 24-Dec-2025 15:38 1979 minisat+_1.0-5_amd64.deb 24-Dec-2025 15:38 146K minisat+_1.0-5_i386.deb 24-Dec-2025 15:38 145K minisat+_1.0.orig.tar.gz 24-Dec-2025 15:38 78K