../ minisat+_1.0-3.debian.tar.xz 26-Apr-2023 15:49 4124 minisat+_1.0-3.dsc 26-Apr-2023 15:49 1984 minisat+_1.0-3_i386.deb 26-Apr-2023 15:49 156K minisat+_1.0.orig.tar.gz 26-Apr-2023 15:49 78K