../ 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 22-Mar-2020 17:50 142004 minisat+_1.0-5build1.debian.tar.xz 10-Apr-2026 06:01 4532 minisat+_1.0-5build1.dsc 10-Apr-2026 06:01 1978 minisat+_1.0-5build1_amd64.deb 10-Apr-2026 06:01 162316 minisat+_1.0.orig.tar.gz 12-Nov-2011 09:20 79990