Index of /astra/1.8_x86-64/extended-repository/pool/main/m/minisat+/

---

../
minisat+_1.0-4+b1_amd64.deb                        30-Oct-2025 11:59    140K

---