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

../
minisat+-dbgsym_1.0-4_amd64.deb                    30-Jul-2025 20:31      1M
minisat+_1.0-4_amd64.deb                           30-Jul-2025 20:31    142K