../ minisat+_1.0-4_amd64.deb 22-Feb-2017 21:12 158368 minisat+_1.0-4_arm64.deb 22-Feb-2017 21:12 133914 minisat+_1.0-4_armhf.deb 22-Feb-2017 21:12 133736 minisat+_1.0-5_amd64.deb 10-Oct-2024 15:44 149280 minisat+_1.0-5_arm64.deb 10-Oct-2024 09:44 133140 minisat+_1.0-5_armhf.deb 10-Oct-2024 09:44 129244