../ minisat+_1.0-4build1.debian.tar.xz 22-Mar-2020 19:10 4252 minisat+_1.0-4build1.dsc 22-Mar-2020 19:10 2033 minisat+_1.0-4build1_amd64.deb 22-Mar-2020 19:50 139K minisat+_1.0-5build1.debian.tar.xz 26-Jan-2026 23:34 4532 minisat+_1.0-5build1.dsc 26-Jan-2026 23:34 1978 minisat+_1.0-5build1_amd64.deb 26-Jan-2026 23:36 159K minisat+_1.0.orig.tar.gz 12-Nov-2011 11:20 78K