../ minisat+_1.0-4.debian.tar.xz 08-Apr-2019 10:23 4176 minisat+_1.0-4.dsc 08-Apr-2019 10:23 1984 minisat+_1.0-4_amd64.deb 08-Apr-2019 11:32 158368 minisat+_1.0-4_arm64.deb 05-Nov-2020 15:55 133914 minisat+_1.0-4_i386.deb 05-Nov-2020 15:59 160076 minisat+_1.0.orig.tar.gz 08-Apr-2019 10:23 79990