Index of /mirror/debian/pool/main/m/minisat+/

../
minisat+_1.0-4_arm64.deb                           22-Feb-2017 14:12              133914
minisat+_1.0-4_armel.deb                           22-Feb-2017 14:12              129920
minisat+_1.0-4_armhf.deb                           22-Feb-2017 14:12              133736