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

../
minisat+_1.0-5_amd64.deb                           06-Dec-2025 13:59              149280
minisat+_1.0-5_i386.deb                            06-Dec-2025 13:27              147972