Index of /18092020/pool/main/m/minisat+/

../
minisat+_1.0-4_amd64.deb                           29-Oct-2020 14:43              158368
minisat+_1.0-4_arm64.deb                           29-Oct-2020 14:43              133914