../ minisat+_1.0-5.debian.tar.xz 18-Oct-2026 15:29 4448 minisat+_1.0-5.dsc 18-Oct-2026 15:29 1979 minisat+_1.0-5_amd64.deb 18-Oct-2026 15:29 146K minisat+_1.0.orig.tar.gz 18-Oct-2026 15:29 78K