../ minisat+_1.0-2.debian.tar.gz 25-May-2011 09:50 3966 minisat+_1.0-2.dsc 25-May-2011 09:50 1262 minisat+_1.0-2_mips64el.deb 29-Aug-2015 17:26 141K minisat+_1.0-2_mipsel.deb 28-May-2011 05:10 166K minisat+_1.0.orig.tar.gz 14-May-2011 20:02 78K