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

../
minisat+_1.0-5_amd64.deb                           23-Aug-2025 14:10    146K
minisat+_1.0-5_arm64.deb                           25-Aug-2025 01:50    130K