../ minisat2_2.2.1-5+b1_mipsel.deb 18-Aug-2015 02:47 5256 minisat2_2.2.1-5.debian.tar.xz 30-Jul-2014 18:01 9348 minisat2_2.2.1-5.dsc 30-Jul-2014 18:01 1893 minisat2_2.2.1-5_mips64el.deb 29-Aug-2015 17:31 4982 minisat2_2.2.1.orig.tar.gz 29-Mar-2011 22:07 43K minisat_2.2.1-5+b1_mipsel.deb 18-Aug-2015 02:47 87K minisat_2.2.1-5_mips64el.deb 29-Aug-2015 17:31 88K