Index of /uos/ppa/kelvinu/pool/main/m/minisat+/

../
minisat+_1.0-4_arm64.deb                           26-Sep-2021 16:51    131K