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