../ minisat+_1.0-4.debian.tar.xz 10-Jun-2020 17:22 4176 minisat+_1.0-4.dsc 10-Jun-2020 17:22 1984 minisat+_1.0-4_amd64.deb 11-Jun-2020 02:59 158646 minisat+_1.0-4_i386.deb 11-Jun-2020 03:42 149354 minisat+_1.0-4build1.debian.tar.xz 22-Jun-2020 17:09 4252 minisat+_1.0-4build1.dsc 22-Jun-2020 17:09 2033 minisat+_1.0-4build1_amd64.deb 21-Jun-2020 17:34 142004 minisat+_1.0.orig.tar.gz 10-Jun-2020 09:25 79990