Index of /mirrors/astralinux/stable/1.7_x86-64/repository-extended/pool/main/m/minisat+/

../
minisat+-dbgsym_1.0-4_amd64.deb                    19-Feb-2025 06:24      1M
minisat+_1.0-4_amd64.deb                           19-Feb-2025 06:24    142K