../ minisat+_1.0-4_amd64.deb 01-Jun-2021 09:39 158368 minisat+_1.0-4_arm64.deb 01-Jun-2021 10:36 133914 minisat+_1.0-4_armel.deb 01-Jun-2021 13:06 129920 minisat+_1.0-4_armhf.deb 01-Jun-2021 12:40 133736 minisat+_1.0-4_i386.deb 01-Jun-2021 12:56 160076