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

../
minisat+-dbgsym_1.0-4_amd64.deb                                                                                          18-May-2023 10:58      1M
minisat+_1.0-4_amd64.deb                                                                                                 23-Sep-2024 19:34    142K