../ minisat2_2.2.1-5+b3_mips64el.deb 24-Apr-2019 17:35 5260 minisat2_2.2.1-5.debian.tar.xz 24-Apr-2019 17:35 9348 minisat2_2.2.1-5.dsc 24-Apr-2019 17:35 1893 minisat2_2.2.1.orig.tar.gz 24-Apr-2019 17:35 43K minisat_2.2.1-5+b3_mips64el.deb 24-Apr-2019 17:35 89K